und es gibt bisher keine Probleme mit den FF-Menü-SchriftenKeine Ahnung. Hab ich noch nirgendwo bemerkt, das diese Datei nicht vorhanden ist.
Aber die in Deiner Datei aufgeführten Schriftgrößen von 15pt oder gar 20pt (ich habe bei mir in dieser Datei sogar einmal 50pt stehen!) erscheinen mir doch etwas zu gewaltig, als das diese die Schriftgrößen der Leisten beschreiben.
Ich würde da mal meine Werte oben in den Editor kopieren und abspeichern.
Dann diese txt in "userChrome.css" umbenennen und dort einfügen.
Schau mal, was sich ändert.
Jürgen