Anpassungen mit Hilfe der userChrome.css

Auf diesen Seiten findet ihr ein paar Anpassungen, die die Darstellung im Mozilla verändern.

Die hier aufgeführten Änderungen habe ich nur mit dem Modern-Theme getestet, ob es bei anderen Themes auch funktioniert, kann ich nicht garantieren.
Die Änderungen sind eigentlich von jedem leicht durchführbar, der mit einem Texteditor umgehen kann.

Falls sich auf der Seite Fehler eingeschlichen haben, schickt mir bitte eine Mail.