Hi Linda,
I don't know of a way to do it on the standard menus since jhs does not have a
config option, but since it is controlled by CSS in HTML you could use
jhtml_jhs_ '<style type="text/css">*{font-family:"courier
new","courier","monospace";}</style>'
with the appropriate values for the font-family attribute.
To change to monaco
jhtml_jhs_ '<style
type="text/css">*{font-family:"monaco","courier","monospace";}</style>'
I would stay with monospaced fonts and remember that you are working "behind
the curtains" by using jhtml_jhs_ and CSS to change the look of your typeface.
To revert to the standard you could either restart your jhs session or just run
the original
jhtml_jhs_ '<style type="text/css">*{font-family:"courier
new","courier","monospace";}</style>'
to set things back the way that they were.
Cheers, bob
On Jan 2, 2015, at 4:22 AM, Linda Alvord <[email protected]> wrote:
>> (< ' '),~ each (< ' ' ) , each 8 8$ u: 9800+(|.(8$23),20 22 21
>> 18 19
>> 21 22 20),(32$(8$29 32),8$32 29),(8$17),14 16 15 13 12 15 16 14
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
