Outils pour utilisateurs

Outils du site


interlignes_dans_firefox

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; }

interlignes_dans_firefox.txt · Dernière modification : 2023/06/19 11:57 de admin