Erzeugen eines Scrollbalkens im HeaderView

Da man nicht immer genügend Platz im Fenster hat, bietet sich der folgende Eintrag für die userChrome.css an.
Dieser Eintrag ist selbst dann hilfreich, wenn man Mnenhy installiert hat.

#msgHeaderView .header-part1 {
    overflow: auto ! important;
    max-height: 126px ! important;
    }

Ist der bei max-height angegebene Wert erreicht, wird an der Seite eine Scrollleiste angezeigt. Der Wert von 126px läßt bei Standardgröße der Schriftarten 7 Zeilen zu.

Und hier ist die Änderung als File zum herunterladen. Einfach bei geschlossenem Mozilla in die userChrome.css kopieren.

HeaderView.txt

Die hier aufgeführten Änderungen habe ich nur mit dem Modern-Theme getestet, ob es bei anderen Themes auch funktioniert, kann ich nicht garantieren.
Falls sich auf der Seite Fehler eingeschlichen haben, schickt mir bitte eine Mail.