Vielen Dank für deine Antwort Mapenzi! Sobald ich deine Vorschläge getestet habe, gebe ich Rückmeldung.
Besonders gefällt mir dein Hinweis auf den Inspektor des Entwickler-Werkzeugkastens. Ich weiß, dass ich mit seiner Hilfe selbst herausfinden könnte, welche Änderungen vorzunehmen sind. Ich weiß nur leider nicht, wie. Hast du einen Link zu einer passenden Beschreibung?
Da du deine eigenen Code bislang nicht öffentlich machst, kann man den verantwortlichen Code auch nicht finden.
Vielleicht wäre es komfortabler gewesen den Code zu veröffentlichen. Daran habe ich nicht gedacht. Ggf hole ich das nach. Vorab kann ich sagen, dass meine userchrome.css nicht aktiv ist. Als Monterail erschien, habe ich die Monterail-Dateien integriert, also Monterail nicht als Erweiterung installiert. Änderungen habe ich in den Monterail-Dateien vorgenommen, und diese oft mit !important versehen. Wie erwähnt, lange war ich mit dem Ergebnis zufrieden: eben, bis ich auf Windows 10 umsteigen musste.