Dort erstellst du eine neue Datei mit Namen userChrome.css (Achte dabei auf die richtige Schreibweise!) mit folgendem Inhalt:
[...]
Auch an dieser Stelle nochmals vielen Dank für diesen Code, EffPeh. Du hast mir damit sehr geholfen (s. https://www.camp-firefox.de/forum/viewtopi…057054#p1057054).