Datei erstellen: userChrome.css
Orte: Iceweasel:/home/BENUTZER/.mozilla/firefox/KONTO/chrome/
Icedove: /home/BENUTZER/.icedove/KONTO/chrome/ — Ordner chrome ggf. erstellen
Inhalt:
@namespace url(„http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul“); /* set default namespace to XUL */
menubar, menubutton, menulist, menu, menuitem, textbox,
toolbar, tree, .tab-text, tooltip, sidebarheader, statusbar, commonDialog,
#abContactsPanel #toButton, #abContactsPanel #bccButton,
#abContactsPanel #ccButton{
font-family: DejaVu Sans !important;
font-style: normal !important;
font-weight: 400 !important;
font-size: 8pt !important;
}
Hilft zumindest bei den Menüs und der Linksymbolleiste. Das Menü hat trotzdem noch riesige Buchstaben, weil der Bildschirm auf 120dpi steht. Das ist mir aber jetzt egal.