2)
CSS
/* Change the tab-bar height */
tab {height: 23px !important; }
.tabbrowser-strip { height: 25px !important; }
Natürlich alles in der userChrome.css.
Kann man übrigens alles in diesem wundervollen Thread finden:
http://www.firefox-browser.de/forum/viewtopic.php?t=35355
Alexander