Firefox : masquer automatiquement la barre personnelle

Firefox : masquer automatiquement la barre personnelle

La barre personnelle de firefox permet de placer en évidence les marque-pages les plus utilisés à portée de clic. Par souci de gain de place, vous pouvez lui assigner un comportement semblable à celui de la barre des tâches windows qui peut se masquer automatiquement et n'apparaître que lorsque la souris la survole.

Pour ce faire, il faut éditer (ou créer) le fichier userChrome.css, qui se trouve, selon votre système d'exploitation, dans le dossier "chrome" de votre profil. (Voir ici pour localiser le profil selon votre OS).

Si le fichier userChrome.css n'existe pas, créez-le, pour y copier ces lignes, sinon, ajoutez-les :

/* Pop-up bookmarks toolbar */ #PersonalToolbar {display: none;}

#navigator-toolbox:hover > #PersonalToolbar {display: -moz-box;}

Redémarrez Firefox pour prendre en compte les modifications.

Source : Lifehacker