Page 1 sur 1
augmenté la police menu de firefox
Posté : ven. 22 févr. 2019 15:51
par jokaru
Bonjour à tous, Après quelques recherches resté vaine je me tourne vers vous. Comment augmente la police du menu Firefox?
j'ai lu qu'on parlait de" user chrome.ccs". Impossible pour moi de localiser les explications date et ne sont plus à jour. merci d'avance.
Re: augmenté la police menu de firefox
Posté : ven. 22 févr. 2019 16:13
par je@n luc
bonjour:tu as essayer en passent par"clic sur les trois barrettes a droite,personnaliser,fait glisser niveau de zoom a droite dans le cadre du poisson puis tu l'ouvre avec >>est la tu augmente le zoom
Re: augmenté la police menu de firefox
Posté : ven. 22 févr. 2019 16:44
par arghlub
Salut,
jokaru a écrit : ↑ven. 22 févr. 2019 15:51
j'ai lu qu'on parlait de" user chrome.ccs".
Impossible pour moi de localiser les explications date et ne sont plus à jour.
Il faut effectivement utiliser du langage CSS dans le fichier «userChrome.css».
Depuis la version 65 de Firefox, pas mal de choses ont changées dans ce fichier ...
Pour augmenter la taille de la fonte du menu :
- tu crées un dossier nommé «chrome» dans ton profil de Firefox ;
- dans ce répertoire tu crées un fichier nommé «userChrome.css» ;
- dans ce fichier, tu colles cette ligne de CSS :
- enregistre le fichier puis ferme/redémarre Firefox.
Voilà le résultat :
note : j'ai volontairement mis une grande taille de caractères pour que “ça saute aux yeux” sur la capture d'écran ...
bien sûr tu peux ajuster la taille "48px" pour que ça colle à tes souhaits.
Re: augmenté la police menu de firefox
Posté : ven. 22 févr. 2019 22:21
par jokaru
arghlub a écrit : ↑ven. 22 févr. 2019 16:44
:
- tu crées un dossier nommé «chrome» dans ton profil de Firefox ;
──────────────────────────────
Slt merci de la réponse, dès qu'il s'agit de Firefox je bloque
Pour créer mon profile je choisie lequel répertoire racine ou local?
Re: augmenté la police menu de firefox
Posté : ven. 22 févr. 2019 22:30
par jokaru
je@n luc a écrit : ↑ven. 22 févr. 2019 16:13
bonjour:tu as essayer en passent par"clic sur les trois barrettes a droite,personnaliser,fait glisser niveau de zoom a droite dans le cadre du poisson puis tu l'ouvre avec >>est la tu augmente le zoom
Slt merci de ta réponse ce que je souhaite c'est d'augmenté la taille de la police du menu Firefox( Fichier - Edition - Afffichage etc.... ) et pas celui de la page web
Re: augmenté la police menu de firefox
Posté : sam. 23 févr. 2019 04:09
par alain
Bonjour Jokaru
arghlub a écrit : ↑ven. 22 févr. 2019 16:44
tu crées un dossier nommé «chrome» dans ton profil de Firefox ;
jokaru a écrit : ↑ven. 22 févr. 2019 22:21
Pour créer mon profile je choisie lequel répertoire racine ou local?
Comme tu dis:
...
donc dans:
Exemple chez moi:
Puis tu mets ton "userChrome.css" dans le dossier "chrome".
Re: augmenté la police menu de firefox
Posté : mar. 26 févr. 2019 15:03
par jokaru
Bonjour Alain, désolé pour le retard de ma réponse, d'autre obligations .....
Super merci je suis parvenu. Merci des tes explications.
Je me demande pourquoi Firefox ne met pas cette option à l’intérieur de Firefox. Je suppose que je ne suis pas le seul dans ce cas.
Re: augmenté la police menu de firefox
Posté : mar. 26 févr. 2019 15:09
par jokaru
Merci à tous je passe le sujet en Résolu
Re: augmenté la police menu de firefox
Posté : mer. 27 févr. 2019 21:25
par arghlub
Autre sujet de
jokaru sur la personnalisation de FF :
augmenter la police liste déroulante de Firefox