Eric,

  Is it really required to specify an ABSOLUTE font size? 

  css supports RELATIVE font sizes (http://websitetips.com/css/typography/).

  Is it to obtain an equivalent look on various browsers?  

  The font size should be the area of THE USER, not the designer. 
Let me adjust it relative to MY preferences.

  I made the same recommendation years ago to JSoftware.

   ~ Gilles


---------- Original Message -----------
From: Eric Iverson <[email protected]>
To: General forum <[email protected]>
Sent: Thu, 10 Feb 2011 12:06:28 -0500
Subject: Re: [Jgeneral] JHS configuration

> jhelp Config jump at the top of the page does in fact jump to the 
> very short Config section. As it is near the bottom of the page, 
> most browser only scroll until it is visible so Config isn't at the 
> top of the page unlike other jumps. This can be confusing, but don't 
> see what to do about it.
> 
> File jhs_default.ijs requires careful reading. In most cases you 
> want to copy jhs_default.ijs to be jhs.ijs in the same folder. Then 
> edit it as required. This is the place to change only the nouns 
> listed such as PORT or LHOK.
> 
> There isn't currently a clean way to change things such as font size.
> Changes for all users is not to bad, but changes just for your particular
> platform of browser is more difficult.
> 
> Run sentence:
>    'PC_' names_jhs_ 0 NB. platform configuration
> 
> Experiment with changes.
>    PC_FONTSIZE_jhs_=: '24px'
> 
> You need to reload the page (esc then j) to see the change.
> 
> You could add these to your startup ijs file if you want.
> 
> For font size I find the normal browser (ctrl+- or ctrl+=) to be pretty
> handy.
> 
> On Thu, Feb 10, 2011 at 11:10 AM, Brian Schott <[email protected]>wrote:
> 
> >        Having found the following two links, I am having
> > trouble executing some changes.
> >
> > ~addons/ide/jhs/config/jhs_default.ijs
> > ~system/util/configure.ijs
> >
> >        First a comment on a likely error.
> > http://127.0.0.1:65001/jhelp#config is one of the main links
> > on the JHS help page and it takes the user to the JUM config
> > instructions, not to JHS config instructions. I cannot find
> > any JHS config instructions on that page. I believe the
> > user should be instructed how to make JHS configurations and
> > that main link should be destroyed or should refer to a JHS
> > configure.
> >
> >
> >        jhs_default.ijs is very careful to say it should not
> > be altered and instead copied versions should be used. How
> > should configure.ijs be used? Should it be copied, too.
> >
> >        One change I would like to explore is increasing the
> > font sizes of the jhs windows, but I do not know how. I have
> > Elizabeth Castro's book "HTML for the World Wide Web" 5th
> > edn, which tells me a lot about CSS but I don't quite see
> > how or where to create a style sheet for this purpose.
> >
> >        Another question is what is the meaning of the _nox
> > option in Browser_nox? I am unfamiliar with this. Does it
> > mean no unix? And what does that mean for someone like me on
> > a Mac?
> >
> > Thx,
> >
> >  --
> >
> > (B=)
> > ----------------------------------------------------------------------
> > For information about J forums see http://www.jsoftware.com/forums.htm
> >
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
------- End of Original Message -------

----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to