
Please enter the new body font size in pixels (not points).  This is the size
that the normal text will be shown.  A typical value producing a relatively
small font is 15.  Add a few pixels and it becomes much easier to read.  But
note that at about 18 pixels, the boldness of browser fonts jumps up a level
as they switch to doubling the line thickness.
