Le navigateur web Firefox ne propose aucune maternelle options pour modifier la police de la barre d’adresse, la barre d’onglets et la barre d’état depuis le navigateur web.
Alors que la plupart des utilisateurs ne peuvent pas avoir des problèmes avec la taille de police par défaut et le type, d’autres préfèrent une plus grande ou même plus petite taille.
Les utilisateurs avancés peuvent modifier le css en userchrome.css dans le profil de l’utilisateur pour modifier la police des trois navigateur éléments de l’interface. La plupart des utilisateurs d’autre part peuvent se sentir mal à l’aise de modifier le fichier (ou le créer en premier lieu) et peuvent préférer une solution automatisée à la place.
Faire Taille De Police Plus Gros Pack
Faire Taille de Police Plus grande Pack est une extension de Firefox qui augmente la taille de la police des polices dans la barre d’adresse de Firefox, la barre d’onglets et la barre d’état automatiquement après l’installation.
Les nouvelles tailles de police sont automatiquement activé après l’installation de l’add-on et un redémarrage du navigateur web.
Le pack regroupe deux add-ons de la même développeur dans un add-on. Les utilisateurs de Firefox peuvent également télécharger le Rendre Barre d’Adresse de Plus grand et de Faire de la Barre d’onglets Et la Barre d’État Plus grands add-ons au lieu de cela dans le cas où ils n’ont besoin que l’un de ceux-ci.
Il n’y a pas d’options de configuration actuellement, mais le développeur promet de mise à jour de l’add-on bientôt avec des options pour modifier la taille de la police, et une option pour activer ou désactiver l’add-on du navigateur web Firefox.
Changer Firefox de la taille de la police manuellement
Les utilisateurs de Firefox qui préfèrent changer la taille de la police, les couleurs et les polices en général peut modifier le userchrome.fichier css qui se trouve dans le répertoire chrome de Firefox dossier de profil.
L’option la plus facile à localiser, il est à la charge about:support dans la barre d’adresse de Firefox et cliquez sur le bouton de dossier qui s’affiche sur la page qui s’ouvre vers le haut.
Si le chrome répertoire n’existe pas le créer. De la même façon, créez le fichier userchrome.css dans le répertoire chrome et de l’ouvrir ensuite dans un simple éditeur de test.
Ajouter la ligne suivante en haut:
@namespace url(“http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul”); /* seulement besoin une fois */
Vous devez modifier la police de caractères de la famille, de la couleur, ou la taille de police pour les ajuster en conséquence lorsque vous collez les extraits de code suivant dans le userchrome.fichier css.
/*Changement de la barre d’adresse de police, la couleur et la taille*/
#barre d’url {-moz-appearance: none !important;
font-family: Tahoma Gras !important;
couleur: Noir !important;
font-size: 12pt !important; }
Le code ci-dessus modifie la police de la barre d’adresse pour Tahoma Gras avec une taille de police de 12 points et la couleur noire. Il suffit de remplacer les valeurs avec d’autres, si vous préférez.
/* Changement d’état de la barre de texte couleur/taille*/
#dans la barre d’état {-moz-appearance: none !important; font: bold 12pt Arial; !important;
}
Le code ci-dessus modifie la police de la barre d’état pour 12pt Arial.
/* Onglet actif – bon */
.tabbrowser-onglet[selected=”true”]
.onglets-bas,
[class=”close-onglets de bouton closebutton”] {
font-weight: bold !important;
background-color: rgb(220,220,220) !important;
padding-left: 2% !important;
padding-right: 2% !important;}
/* L’Onglet inactif – bon */
.tabbrowser-onglet:not([selected=”true”]) {
-moz-appearance: none !important;}
Le code ci-dessus met plus de poids à l’onglet actif. Vous pouvez modifier les polices de caractères en utilisant les exemples ci-dessus.
Mise à jour: Les add-ons ont été abandonnées. Un nouvel add-on est disponible qui vous offre une fonctionnalité similaire. Thème de la Police Et de la Taille du Changeur est disponible pour l’installation directe sur le site web Mozilla.