Zuletzt geändert 20.6.2021
Irgendwann hatte ich das Problem, dass ich in der Datei userChrome.css (je nach Betriebssystem in verschiedenen Pfaden zu finden!) Änderungen machen konnte, wie ich wollte – und nichts wurde wirksam. Bis ich die entscheidende Einstellung fand:
Nach about:config habe ich den Schlüssel
toolkit.legacyUserProfileCustomizations.stylesheets
gesucht. Ich glaube, ich musste ihn sogar erst als boolean anlegen. Dem verpasste ich den Wert true und nach dem nächsten Neustart (!) waren meine Einstellungen in den user*.css-Files wirksam.