On Saturday 28 June 2003 1:30 am, Bob S wrote:
Ben & Hans,
Commenting on my own comments here. Further explanation. In Mozilla, Edit - Preferences - Appearance - Fonts - Changed the default font sizes (9 to 14) OK, but that is only for the webpages displayed. It has nothing to do with the size of the font in menus, dropdown boxes, titte bars etc. That is what I cannot read.
I thought it was Ben who once passed on this gem. Place the following snippet into the: /home/<userid>/.mozilla/Default\ User/<gobbledygook>/chrome/userChrome.css file. /* * For more examples see http://www.mozilla.org/unix/customizing.html */ /* Make menus big, pretty and readable (like the old SGI look): * menubar isn't used after 12/19 builds, but is needed for NS6; * the rest are for post-12/19 */ menubar, menubutton, menulist, menu, menuitem { font-family: helvetica !important; font-style: italic !important; font-weight: bold !important; font-size: 4mm !important; } I assume the size can be played with but it works fine as is here. -- +----------------------------------------------------------------------------+ + Bruce S. Marshall bmarsh@bmarsh.com Bellaire, MI 06/28/03 09:37 + +----------------------------------------------------------------------------+ "I refuse to tolerate intolerance"