Wenn man den Firefox in seiner “Rohform” unter Linux, bei mir eben Gentoo, installiert, kann es sein, dass die Menüschriftart etwas klobig ist oder der falsche Font benutzt wird. Doch dieser ist, wie fast alle optischen Aspekte der Programme aus dem Hause der Mozilla Foundation, relativ einfach änderbar:
- Datei home/<user>/.mozilla/firefox/<randomNumber>
/chrome/userChrome.css öffnen oder erstellen
- Eintrag “* { font-size:10pt !important; font-family: arial, helvetica !important; }”
einfügen, er verkleinert man z.B. die Menüschriftart auf ein etwas erträglicheres Maß. CSS sein dank.