I run Mozilla/5.0 (X11; U; Linux alpha; en-US; rv:0.9.8)
Gecko/20020216 on Debian/Alpha.
XFree runs at 1600x1200, so I need rather large fonts.
Now I can set the fonts in the preferences to a good size (20 points)
and web-pages are nice and readable. Some elements, however, remain very
small.
This is most noticeable on www.google.com. The box where you input your
query remains much too small (I'd guess 10 or 12 points, compared to 20
points on the other elements). The same size font is used in the menus
and in the preferences-window.
What do I do to get this font larger? I tried all options for 'Display
resolution'; but that didn't do anything. Setting the font sizes in the
preferences for any encoding doesn't change this font.
I tried the tips at the 'Customizing Mozilla' webpage to change
userChrome.css, and this worked to the effect that my menus are now fine
readable, but the text inside the 'Preferences' window is still small,
as is the google input-box, and the 'Document: done' message at the
bottom.
I put
{
font-size: 20pt ! important;
}
menubar, menubutton, menulist, menu, menuitem {
font-family: helvetica !important;
font-weight: bold !important;
font-size: 4mm !important;
}
input {
font-family: clean !important;
font-size: 4mm !important;
}
in userChrome.css, but this only changed the menus.
If this group is inappropriate, or a good article on this was posted
yesterday, feel free to point me to a website or dejanews or whatever,
but I tried searching and didn't find anything else.
Thanks!
Jurriaan
--
Chemical Engineering: The practice of doing for a profit what an organic
chemist only does for fun.
The Ultimate Scientific Dictionary
GNU/Linux 2.4.18-rc4 on Debian/Alpha 992 bogomips load:0.10 0.18 0.10
