
Please enter the new font size in pixels (not points}.  At 7 pixels, some
letters may still be guessable, at 6 they are merely ink blots.  At about 18
pixels, the boldness of browser fonts jumps up a level as they switch to
doubling the line thickness.
