Firefox : optimiser la barre personnelle

Dans Firefox, la barre personnelle est l'endroit idéal pour recevoir les Marque-pages et donc y accéder rapidement. Il suffit pour cela d'activer son affichage dans le Menu "Affichage" => "Barre d'Outils" et d'y organiser la présence de ses Marque-pages.
Le problème est qu'avec les favicons et l'intitulé du marque-page ou du dossier, cette barre est rapidement pleine. Il sera donc intéressant dans ce cas d'optimiser l'affichage via le fichier userChrome.css, en réduisant l'espace entre les items de la barre personnelle, grâce à ce code :

/* Modifier l'espace dans la barre perso entre les items des Bookmarks */
#personal-bookmarks toolbarbutton {
margin: 0px 0px 0px 0px !important;
padding: 0px 0px 0px 0px !important;
}

Dans ce code, l'espacement étant réduit à zéro, le gain d'espace sur la barre est sensible :
(ces copies d'écran ont été réalisées à partir du Firefox portable installé sur ma clé USB LiberKey, avec le thème par défaut)
Toujours pour optimiser l'espace et avec du code dans le userChrome.css, vous pouvez masquer la barre personnelle, et ne la faire apparaître qu'au pointage de la souris :

/* Afficher la barre perso au passage de la souris */
#PersonalToolbar {display: none;}
#navigator-toolbox:hover > #PersonalToolbar {display: -moz-box;}

Enfin,vous pouvez également modifier la taille, la couleur, ou encore la mise en valeur (gras) du texte des items de la barre personnelle..

/* Texte en taille 9, bleu, gras */
.bookmark-item > .toolbarbutton-text {
font-size: 9pt;
color: rgb(65,190,255);
font-weight: bolder;}

.. mais là il s'agit plus d'une personnalisation que d'une optimisation, la place prise par le texte étant plus importante !
.
Si ce billet vous a plu, vous pouvez rapidement le partager et/ou le promouvoir à l'aide des liens suivants :................
.