Re: [OT] Firefox interface font...?

2006-09-05 Thread Tom Verbreyt
Hey Mathias, >> { >> font-size: 10pt !important; >> font-family: tahoma sans-serif !important; >> } > There are two errors in the above CSS code. *blush* Thanks. Looks a lot better now... :) Cheers, Tom -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "uns

Re: [OT] Firefox interface font...?

2006-09-05 Thread Mathias Brodala
Hello Tom. > The general GTK font can be changed easily with switch2, > which edits ~/.gtkrc-2.0 accordingly. Firefox, however, > doesn't obey the settings in that file. Some searching > taught me about userChrome.css, but adding > > { > font-size: 10pt !important; > font-family:

[OT] Firefox interface font...?

2006-09-05 Thread Tom
Hey ho, GTK applications by default seem to use a fairly large sans-serif font. I'd like to change that, but don't feel like installing the whole of Gnome to be able to do so (using gnome-control-center and gnome-settings-daemon). The general GTK font can be changed easily with switch2, which edi