Aha! That's the sort of thing I was hoping for. (It works with Safari under OS X Lion.)
Thanks for remembering it. On 7/3/12 10:53 AM, Eric Iverson <eric.b.iver...@gmail.com> wrote: > >> >JHS fontsize when a page is created is determiined by variable >> >PC_FONTSIZE_jhs_ >> > >> >In your JHS session try: >> > >> > PC_FONTSIZE_jhs_ >> >11px >> > PC_FONTSIZE_jhs_=:'22px' >> >reload the page to see the new size >> > >> >You could put this in a startup script or in the jhs config file. >> > >> >Apologies for taking so long to remember this. With browsers on platforms >> >that make font size adjustment with a key stroke this hardwired fix is less >> >interesting. -- Murray Eisenberg mur...@math.umass.edu Mathematics & Statistics Dept. Lederle Graduate Research Tower phone 413 549-1020 (H) University of Massachusetts 413 545-2859 (W) 710 North Pleasant Street fax 413 545-1801 Amherst, MA 01003-9305 ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
