Höhe der Tab-Bar ändern

Unser Dank geht an Nemoflow, der diese Anleitung im Original geschrieben hat:

Der Code gehört in die userchrome.css:

Ändern der Höhe der Tab Bar

Beispiel:

/* Change Tab Height - may need to experiment with the size */ 
tab{ 
 height: 2.0em !important; 
 max-height: 2.0em !important; 
 -moz-appearance: none !important; 
}

Vorher:

Nachher: