Firefox 91, espacement entre les marques-pages

.

Le texte original ayant disparu, le revoici, copié en provenance du site CommentÇaMarche.
(Toujours valable avec la version FF 95.0 de décembre 2021)

Mémo / tuto pour réduire l'espace entre les marques pages :

1 - Autorisez firefox à charger les personnalisations userchrome :

Ouvrir par exemple un nouvel onglet et écrire dans la barre d'adresse ► about:config
Cliquer sur "Accepter le risque et poursuivre"
Puis dans la case "rechercher un nom de préférence" faire un copier/coller de : toolkit.legacyUserProfileCustomizations.stylesheets
Passer la valeur sur true.

2 - Menu hamburger > Aide > plus d'information de dépannage > ouvrir le dossier de profil. (Dans la colonne de gauche, descendez jusqu'à la ligne "Dossier de profil" et cliquez sur le bouton "ouvrir le dossier correspondant")

3 - Créer un dossier intitulé ► Chrome, et un fichier intitulé ► UserChrome.css à l'intérieur de ce dernier
(un fichier texte dont le titre et l'extension sont renommés)

4 - Y Copier le code qui suit ci-dessous et enregistrer ce fichier :

/*** Tighten up drop-down/context/popup menu spacing ***/

menupopup > menuitem, menupopup > menu {
padding-block: 2px !important;
}
:root {
--arrowpanel-menuitem-padding: 2px 2px !important;
}

5 - Fermer et relancer Firefox.

Bonjour ! Après test, l'astuce ci-dessus fonctionne toujours avec Firefox 114.0

EDIT : octobre 2023, l'astuce fonctionne toujours avec Firefox 118.0.2