Sie möchten die Schrift in den Tabs vergrößern bzw. verkleinern, da Ihnen die jetzige Schrift-Größe nicht zusagt?
Gehen Sie dazu folgendermaßen vor:
1.Öffnen Sie die Datei userChrome.css mit Ihrem Texteditor.
2.Fügen Sie in die Datei folgende CSS-Klasse ein:
tab {
font-size: 120%;
}
Die Größe der Schriftart können Sie bei der Angabe der Schrift-Größe (font-size) in Prozent verändern.
Möchten Sie die Schrift also verkleinern, können Sie statt "120%" beispielsweise "90%" eintragen.