on Sun, Aug 12, 2001 at 02:10:26AM -0700, Karsten M. Self (kmself@ix.netcom.com) wrote:
> Problem: the menu fonts are all rather larger than I'd like -- appear
> to be Helvetica or Arial, roughly 16 points. I prefer fixed fonts for
> all menus, at about 10 points.
Turns out I like Helvetica, for small values of same.
File is ~/.mozilla/<user>/<odd string>/chrome/userChrome.css
Content that works for now:
window{
font-family: Helvetica !important;
font-size: 8pt !important; */
font-style: regular !important;
font-weight: normal !important;
}
menubar, menubutton, menulist, menu, menuitem {
font-family: Helvetica !important;
font-style: regular !important;
font-weight: normal !important;
font-size: 8pt !important;
}
--
Karsten M. Self <kmself@ix.netcom.com> http://kmself.home.netcom.com/
What part of "Gestalt" don't you understand? There is no K5 cabal
http://gestalt-system.sourceforge.net/ http://www.kuro5hin.org
Free Dmitry! Boycott Adobe! Repeal the DMCA! http://www.freesklyarov.org
Geek for Hire http://kmself.home.netcom.com/resume.html
Attachment:
pgpxabtl_ES3V.pgp
Description: PGP signature