Inserendo questo codice nel file userChrome.css posso AUMENTARE a piacere l' altezza delle Tabs Tool Bar... peccato che NON POSSO DIMINUIRLA rispetto al valore di default, che è quello che vorrei ottenere.
#TabsToolbar {height: XXpx !important; }
Qualche idea sul da farsi per abbassare sotto al valore di default?
Di più: ho cercato, ho cercato ma non trovo nessun tutorial e/o elenco delle opzioni modificabili nell' userChrome.css, salvo pochi esempi inseriti da utenti di buona volontà (quelli che si riferiscono alla diminuzione della altezza delle "linguette" non fungono nella ultima versione di FireFox). Qualche link??