Une extension dont je n'avais jamais entendu parler sur un site japonais : Custommenubar. Elle permet de customiser une barre d'outils pour Mozilla pour avoir accès d'un clic à des options très pratique enfouies dans les menus de l'interface, au hasard le changement de feuille de style ! ;-)