Comment augmenter la taille de la police dans les onglets Firefox 89 ?

[rol]

Bonjour !
Je parle bien de modifier la police du nom des onglets DANS les onglets (par exemple l'augmenter ou la mettre en gras) et non pas modifier la taille des onglets eux-même !
Merci !

[Agent virtuel]

Bonsoir

Éventuellement à essayer via un fichier userChrome.css

Ai trouvé un code sur internet

Illustration 17px, et en gras, bold

Code : Tout sélectionner

tab {
    font-size: 17px !important;
    font-weight: bold !important;
}

Copier/coller le code dans un Bloc-notes
Enregistrer
Type : Tous les fichiers
userChrome.css

Créer un dossier chrome
Déplacer userChrome.css dans le dossier chrome

Dirigez-vous vers votre dossier de profil Ouvrir le dossier
https://support.mozilla.org/fr/kb/profi ... mon-profil
Déplacer le dossier chrome vers votre dossier de profil

about:config
https://support.mozilla.org/fr/kb/edite ... on-firefox
Rechercher une préférence
toolkit.legacyUserProfileCustomizations.stylesheets
Vérifier true

Arrêt Firefox démarrer Firefox

Firefox Releases
https://www.mozilla.org/en-US/firefox/releases
Depuis Firefox 69 https://www.mozilla.org/en-US/firefox/69.0/releasenotes

Firefox no longer loads userChrome.css or userContent.css by default improving start-up performance.
Users who wish to customize Firefox by using these files can set the toolkit.legacyUserProfileCustomizations.stylesheets preference to true to restore this ability