Grazie intanto a entrambi per l'interessamento,
parlavo di bug (minor bug, chiaramente) perché premendo il pulsante "ripristina predefiniti" non ripristina esattamente le impostazioni di default: barra superiore con icone grandi e barra inferiore con icone piccole.
Per fare chiarezza per default firefox ha la dimensione delle icone come in questa screenshot:
http://www.mouserunner.com/images/Fx_2_Walkthrough_Full_Screenshot.pngcome si vede la barra degli indirizzi ha le icone (indietro, avanti, ricarica, home, ecc) grandi, mentre in quella inferiore (dove c'è scritto "Getting started", "Latest headlines") ha le icone piccole, in questo caso sono segnalibri ma anche aggiungendoci nuove icone su quella barra tramite la funzione "personalizza" queste icone restano piccole. Ed è esattamente la situazione che vorrei ripristinare.
Invece se si preme "Usa icone piccole" non c'è più modo di avere la barra superiore con icone grandi e quella inferiore con icone piccole, ma saranno sempre e solo entrambe grandi o entrambe piccole. Spero di essermi spiegato...
PS: Non credo di avere estensioni che possano influenzare l'interfaccia: adblock, ietab, inforss e downthemall.