Das Problem ist an dem Code (zumindest bei mir) leider, dass die Symbole nicht zentriert sind und die Symbole auf verschiedenen Höhen sind. Und mit (nur) min-height werden die Tabs nicht kleiner, wie das kleinst mögliche in Firefox. Man sieht das aber alles erst (so richtig), wenn man die nav-bar mal 23px hoch macht.
Ich habe mal ein Bild gemacht. Das linke Fenster ist Firefox ohne jegliche .css (Dichte - kompakt) und das Rechte mit deinem unveränderten code (Dichte auch kompakt). Das rechte verbraucht sogar in der Höhe minimal mehr, wie der Standart-Fox auf Dichte - kompakt.
Wenn man jetzt die Werte auf z.B 23px setzt, sind die Symbole in der nav-bar abgeschnitten, nicht gleich hoch und die Tab-höhe ändert sich nicht unter Firefox default-minimum.
https://abload.de/img/firefoxtabdnnermache_tpjfq.png
Deshalb habe ich bei mir das ganze margin-top gebastel gemacht (Bei mir funktioniert dein code leider nicht). Nur das Problem dabei ist, dass die Symbole verschoben werden, die Button aber nicht (Also betätigen kann man den Button nur im originalen Bereich, der aber abgeschnitten ist und z.T verschoben bzw sogar überschoben werden). Siehe im Bild (Link). Ich bin 3 Mal mit der Maus über einen Button gefahren und habe dann das ganze in Paint übereinander gelegt, damit man alle gleichzeitig sieht. Links ist meine Version und rechts ein Vergleich ohne css (also im Grunde die selbe Version wie im Bild oben das linke Fenster)
https://abload.de/img/firefoxtabdnnermachen9wkhp.png
Und ich habe heute noch gemerkt, dass mit meinem Code sich alles verschiebt, wenn man oben rechts auf maximieren klickt. In diesem maximierten Modus verkleinert sich nämlich die Höhe der Tabs und wenn ich das alles so einstelle, dass alles beim minimal möglichen ist, ist nacher im maximierten Modus alles zu klein/dünn.
Kann man irgendwie den maximierten Modus seperat ansprechen mit css codes, so dass ich dort andere Werte nutzen kann?