Odpowiedzi:
Szukałem tego samego! Co powiesz na ten ghack . Przetestowano na Firefox 38.0.5, Yosemite 10.10.3.
AKTUALIZACJA
Instalowanie thintabs zrobiłem sztuczkę dla mnie. Ale zgodnie z artykułem możesz to zrobić ręcznie:
Zaletą jest to, że nie trzeba instalować dodatków do tej operacji, wadą jest to, że ukończenie zajmuje minutę.
Aby zmienić wysokość paska narzędzi karty:
#TabsToolbar { height: 25px !important; }
Aby zmienić wysokość paska narzędzi zakładek:
PersonalToolbar {height: 25px !important;}
Parametr height określa nową wysokość każdego z pasków. Domyślnie jest ustawiony na 25 pikseli, ale możesz zmienić go na inne wartości, które działają lepiej dla Ciebie.
Upewnij się, że następujący wiersz kodu jest wyświetlany u góry pliku:
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* only needed once */
Pełny kod wygląda następująco userChrome.css
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* only needed once */
#TabsToolbar { height: 25px !important; }
#PersonalToolbar {height: 5px !important;}