Page 1 sur 1
augmenté la police liste déroulante de firefox
Posté : mar. 26 févr. 2019 19:11
par jokaru
Rebonjour à tous,
Voilà merci pour la solution du post précédent :
augmenter la police menu de firefox.
me revoilà

encore pour votre aide pour que cela soit en adéquation avec l'augmentation du menu j'aimerai faire de même avec la liste déroulante.
j'ai mis la police menu à 24px;
Merci d'avance

Re: augmenté la police liste déroulante de firefox
Posté : mar. 26 févr. 2019 20:30
par arghlub
Re-salut, me revoilà aussi
Alors tu as compris le principe pour modifier le fichier «userChrome.css» du répertoire «chrome» de ton profil Firefox dans le sujet précédent que tu cites.
Donc ajoute cette règle de CSS au fichier «userChrome.css» :
Puis enregistre le fichier et redémarre Firefox.
Et voilà
───[ EDIT ]───────────────────────────
Si tu veux la même taille pour les menus et les sous-menus, tu peux optimiser le CSS, en combinant les deux sur une seule ligne :
Re: augmenté la police liste déroulante de firefox
Posté : mar. 26 févr. 2019 20:41
par jokaru
Re: augmenté la police liste déroulante de firefox
Posté : mar. 26 févr. 2019 20:51
par jokaru
re salut sans aucun doute je fais quelques chose incorecte .
Est ce que c'est à la suite? ou à la ligne

Re: augmenté la police liste déroulante de firefox
Posté : mar. 26 févr. 2019 20:53
par arghlub
Pardon, j'avais oublié un p'tit truc ...
Il faut ajouter «!important» au “menupopup” pour que sa règle CSS soit prioritaire par rapport à celle de Firefox.
Donc, dans le fichier «userChrome.css» tu mets :
Code : Tout sélectionner
menubar > menu {font-size:24px;}
menubar > menu > menupopup {font-size:24px !important;}
ou
Code : Tout sélectionner
menubar > menu, menubar > menu > menupopup {font-size:24px !important;}
Je viens de vérifier, ça devrait être ok

Re: augmenté la police liste déroulante de firefox
Posté : mar. 26 févr. 2019 21:02
par jokaru