Taille des polices dans les onglets

[combrailles]

Bonjour,

j'ai firefox5 sous windows7.
Comment augmenter la taille de la police pour les onglets?

Merci.

[Bob49]

Bonjour

Vois dans les options ► contenu ► polices..► avancé

Si c'est pour du temporaire, tu peux faire Ctrl et +/- ▬▬▬ le zéro remet le zoom à la normal. (tu peux passer aussi par le menu affichage..)

En cas d'utilisation régulière du zoom, NoSquint qui doit faire l'affaire ! (perso, pas testé)

[combrailles]

Merci Rex,

je me suis mal exprimé, c'est pour les titres dans les petits onglets en haut.

[Bob49]

Mon pseudo n'est pas "Rex" !

Je pense que la solution passera par un fichier userChrome.css mais j'arrive pas à trouvé ! j'ai pour diminer la taille mais pas le contraire

Un spécialise de chrome passera

En attendant un peut de lecture : http://www.geckozone.org/forum/viewtopi ... =5&t=55281

[Freddy]

bonjour,

Voilà ce que je te propose comme code à mettre dans le userChrome.css

Code : Tout sélectionner

tab
{ font-size: 20px !important; }

A toi d'adapter la valeur (20) bien sur.

Je sais pas jusqu'à combien tu vas monter, mais si tu veux pas que la hauteur de la barre d'onglet augmente aussi, tu peux plutôt mettre ça:

Code : Tout sélectionner

tab { 
 font-size: 20px !important;
 min-height: 30px !important;
 max-height: 30px !important;
 padding: 0 !important; 
}

En complément du lien donné par Box ,pour plus d'explication pour la manip du fichier userChrome, voir → ici