I've updated to a recent Mozilla under Woody/testing:
Version: 2:0.9.3-1
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.
Following comments found through Google, I've tried to change this with
the following ~/.mozilla/karsten/nvfg3wpx.slt/chrome/user.css file:
menubar {
font-family: fixed !important;
font-style: regular !important;
font-weight: bold !important;
font-size: 3mm !important;
}
...but this doesn't change appearances.
Thoughts?
TIA.
--
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:
pgpeJbOszXrag.pgp
Description: PGP signature