Page 1 sur 1
Comment augmenter la taille de la police dans les onglets Firefox 89 ?
Publié : 21 juin 2021, 16:33
par 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 !
Re: Comment augmenter la taille de la police dans les onglets Firefox 89 ?
Publié : 21 juin 2021, 19:22
par 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
