Le petit bout de code qui va bien à mettre dans le fichier chrome.css de Firefox pour afficher / masquer automatiquement la barre personnelle lorsqu'on pointe sur un onglet.
/* AUTOHIDE BOOKMARKS */
#PersonalToolbar{
margin-top: -30px !important;
transition: margin 0.1s linear !important;
position: fixed !important;
width: 100%;
}
#navigator-toolbox:hover #PersonalToolbar{
margin-top: 0px !important;
}
#nav-bar {
z-index: 1 !important;}#PersonalToolbar {margin-top: -23px !important;transition: all 0.4s ease 0s !important;}#navigator-toolbox:hover>#PersonalToolbar {margin-top: 0px !important;transition: all 0.4s ease 0s !important;
}
Pratique.