[OT] Firefox interface font...?

["Tom" <tom@verbreyt.be>]

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 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?

Cheers,
Tom

-- 
"Was soll uns denn das ew'ge Schaffen!
Geschaffenes zu nichts hinwegzuraffen!"