police des onglets

[boudjy76]

bonjour,je souhaite modifier la police et la taille de celle ci j'ai beau lire je ne trouve pas comment faire,pouvez vous me conseiller.merci

[Geek0z0ne]

Il y a un sujet identique là : viewtopic.php?f=5&t=135416

[Mapenzi]

Bonjour,

copier-coller le code css suivant dans un éditeur de texte :

Code : Tout sélectionner

.tab-text  {
font-size: 15px !important; }

Enregistrer le fichier sous "userChrome.css", créer un dossier nommé "chrome" et glisser le fichier dedans.
Afficher le dossier de profil de Firefox via Aide > Informations de dépannage > Dossier de profil > Ouvrir le dossier, glisser le dossier chrome dans le dossier de profil, puis redémarrer Firefox.
Ajuster le nombre de px si besoin et redémarrer Firefox.

[Robert Mitchum]

Enregistrer le fichier sous "userChrome.css"

Attention, remplacer l’extension .txt par .css