[OT] Firefox interface font...?
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 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: tahoma sans-serif !important;
to it doesn't change anything either.Does anybody know
how Firefox's UI font can be set?
"Was soll uns denn das ew'ge Schaffen!
Geschaffenes zu nichts hinwegzuraffen!"