I mpossible de changer la taille de police de l'interface

[binome]

Bonjour,
dans un nouveau profil, j'ai copié le dossier "chrome" du précédent car j'ai besoin de grossir la police (je suis déficient visuel) mais ça ne marche plus.
Pour info, je suis sous FF 56.0.2 car certains modules nécessaires pour moi ne marchent plus sous Quantum.
Une idée ?
Merci.

[pepersan]

Bonjour
une extension :
https://addons.mozilla.org/fr/firefox/a ... e-changer/

[binome]

J'ai installé ce module mais je ne trouve pas comment changer ça.

[pepersan]

tuto :

http://translate.google.com/translate?h ... %3Fp%3D286

[binome]

J'avais essayé mais quand je clique sur le bouton, j'ai un nouvel onglet qui s'ouvre et me permet de changer la couleur mais pas la taille.

[pepersan]

C est écrit: Dans la section Taille , sélectionnez simplement une valeur de taille de police (de 6 à 80 pixels) et les modifications seront appliquées instantanément et globalement.

[binome]

Je n'ai pas de section taille.

[pepersan]

il y a trois endroits où vous pouvez gérer la taille de police globale et la famille de polices de Firefox via Theme Font & Size Changer . Icône de barre d'extension, bouton de barre d'outils et option de menu Outils.

[pepersan]

ok, je l ai installé pour tester et effectivement, il n y a que la couleur car : En raison du nouveau système d'extension sur Firefox, la plupart des fonctionnalités du Theme Font & Size Changer ne sont plus disponibles. Vous pouvez en savoir plus sur ce nouveau système ici.http://translate.google.com/translate?h ... odernizing

[pepersan]

Directement dans les options de FF :
https://support.mozilla.org/fr/kb/chang ... -utilisent

[binome]

Non, ça c'est pour la police des sites web. Moi c'est l'interface que je veux modifier.

[pepersan]

ici :
viewtopic.php?t=119099

[binome]

Ben non, ils parlent de userChrome.css. C'est ce que j'avais fait mais rien ne se passe. Et pourtant ça marche bien avec mon ancien profil, sur la même, machine et le même logiciel.

[Mapenzi]

Bonjour,

essaie le code suivant dans ton fichier userChrome.css :

Code : Tout sélectionner

/* Global UI font */ 
* { font-size: 13.5px !important; }

[binome]

Non toujours pas, je retourne à mon ancien profil (avec d'autres problèmes)...