Hallo 2002Andreas,
vielen Dank für den genannten Code, den ich mir gesondert als Textdatei abgespeichert habe.
Aris hat mittlerweile ein kleines Update herausgebracht, das die weniger schöne Darstellung der Tabs behoben hat.
Den zu großen Zeilenabstand habe ich mit Deinem Code aus jenem Thema (#24) hinbekommen, indem ich den Code in eine neu erstellte my_userChrome.css kopierte, auf die ein Eintrag am Ende von Aris’ userChrome.css verweist.
Freundliche Grüße
Ransom