Outils pour utilisateurs
Interlignes dans Firefox
Activer userChrome (Les dernières version de Firefox le désactivent par défaut) Pour cela, taper dans la barre d'adresse : about:config Rechercher ou créer toolkit.legacyUserProfileCustomizations.stylesheets Passer la valeur à true
Réduire les espaces dans FireFox
Dans le dossier de profil (cf Menu “Aide”, “Plus informations de dépannage” ⇒ dossier de profil), créer un dossier Chrome Y créer un fichier userChrome.css et y coller le texte suivant
/* Bookmark menu - Les marques-page */ #PlacesToolbarItems .bookmark-item { padding-top: 0px !important; padding-bottom: 0px !important; }
/* Right-click menu - Le menu contextuel (bouton Droit) */ menupopup#contentAreaContextMenu menu, menupopup#contentAreaContextMenu menuitem { padding-top:0px !important; padding-bottom:0px !important; }
menupopup > menuitem, menupopup > menu { padding-block: 4px !important; } :root { –arrowpanel-menuitem-padding: 4px 8px !important; }