On Wednesday 14 May 2003 13:22, Sander Smeenk wrote:
> Hi,
>
> Since I while I am forced to shut down my Linux workstation when I leave
> my workplace. And since then I noticed that every time I boot again, and
> start my X, and open my apps like Gaim and Mozilla, the font used is
> HUGE (Helvetica, 12px, or something), while I have set the font to be
> Verdana, 9px using gnome-control-center's font-setting dialog.
>
> Changing fontsettings there affects libgtk2-using applications like gaim
> & mozilla.
[snip]
Mozilla is an exception. To change font, you need to edit
${HOME}/.mozilla/profile_name/something.slt/chrome/userChrome.css
adding
* {
font-size: 10pt !important;
font-family: FreeSans;
}
to this file will make Mozilla use FreeSans 10pt font.
--
Mike Hommey <[EMAIL PROTECTED]>
"This will go a long way towards the war on terror. Terrorists won't be able
to install and use unauthorized OS's. This could potentially save thousands
of lives." -- a slashdotter about "Trusted Computing"
