Modifier couleur de police menu & onglets firefox
Résolu
Mots croisés
Messages postés
3338
Date d'inscription
Statut
Membre
Dernière intervention
-
pistouri Messages postés 18850 Date d'inscription Statut Contributeur Dernière intervention -
pistouri Messages postés 18850 Date d'inscription Statut Contributeur Dernière intervention -
Bonjour,
Je pensais pouvoir modifier l'aspect de la police du menu et onglets firefox, ce qui n'est pas le cas.
Quelqu'un a t'il une astuce?
Par exemple, afficher la police de caractères en gras. Car comme on peut le remarquer, la lecture du menu et onglets n'est pas aisée.
Merci
https://www.cjoint.com/c/JCqq5LeNVfw
Je pensais pouvoir modifier l'aspect de la police du menu et onglets firefox, ce qui n'est pas le cas.
Quelqu'un a t'il une astuce?
Par exemple, afficher la police de caractères en gras. Car comme on peut le remarquer, la lecture du menu et onglets n'est pas aisée.
Merci
https://www.cjoint.com/c/JCqq5LeNVfw
Configuration: Windows / Firefox 74.0
A voir également:
- Firefox couleur onglet
- Rouvrir onglet fermé chrome - Guide
- Downloadhelper firefox - Télécharger - Outils pour navigateurs
- Firefox couldn't load xpcom - Astuces et Solutions
- Code couleur rj45 - Forum câblage
- Boite a couleur - Télécharger - Divers Photo & Graphisme
26 réponses
Résumé de la discussion
La personnalisation de la police des menus et onglets de Firefox passe par le fichier userChrome.css et n’est pas activée par défaut.
Pour l’activer, ouvrir le profil via about:support, créer le dossier chrome, y placer le fichier userChrome.css et activer via toolkit.legacyUserProfileCustomizations.stylesheets à true, puis relancer le navigateur.
Les règles CSS permettent de modifier la taille, la police et les couleurs des éléments d’interface, notamment les onglets et le texte des menus.
En cas d’absence d’effet, vérifier l’activation de userChrome.css et ajuster les règles (ex. font-family et font-size) pour le texte des éléments et la couleur de l’onglet actif.
pistouri
Messages postés
18850
Date d'inscription
Statut
Contributeur
Dernière intervention
Ambassadeur
8 540
Je me lance essaye ça;
Va dans le fichier userchrome
A la fin du fichier userChrome fais 1 espace ou 2
Fais un copier/coller:
menubar, menubutton, menulist, menu, menuitem, textbox, toolbar, tab,
tree, tooltip
{
font-family: verdana, helvetica !important;
font-size: 12px !important;
}
Ferme le fichier userchrome pour enregistrer la modification.
Ferme le dossier Chrome.
Ferme Firefox.
Attends 10 secondes environs.
Relance Firefox pour voir le résultat de la barre de menus avec le texte en blanc.
Si tu veux modifier c'est cette ligne → font-size: 12px !important;
Mets 10px par exemple.
Si tu mets 14px c'est trop grand
A+
Va dans le fichier userchrome
A la fin du fichier userChrome fais 1 espace ou 2
Fais un copier/coller:
menubar, menubutton, menulist, menu, menuitem, textbox, toolbar, tab,
tree, tooltip
{
font-family: verdana, helvetica !important;
font-size: 12px !important;
}
Ferme le fichier userchrome pour enregistrer la modification.
Ferme le dossier Chrome.
Ferme Firefox.
Attends 10 secondes environs.
Relance Firefox pour voir le résultat de la barre de menus avec le texte en blanc.
Si tu veux modifier c'est cette ligne → font-size: 12px !important;
Mets 10px par exemple.
Si tu mets 14px c'est trop grand
A+
pistouri
Messages postés
18850
Date d'inscription
Statut
Contributeur
Dernière intervention
Ambassadeur
8 540
Modifier la police de caractères des marque-page (barre latérale).
Essaye ça:
C 'est dans la barre des menus → Marque-pages
Va dans le fichier userchrome
A la fin du fichier userChrome fais 1 espace ou 2
Fais un copier/coller:
/* bookmark folders */
menu.bookmark-item, menuitem.bookmark-item {
font-size: 18px !important
}
Ferme le fichier userchrome pour enregistrer la modification.
Ferme le dossier Chrome.
Ferme Firefox.
Attends 10 secondes environs.
Relance Firefox pour voir le résultat de la barre de menus → Marque-pages
Pour modifier la taille c'est cette ligne → font-size: 18px !important
C 'est un peu gros.
Tu peux descendre à 14px .
A+
Essaye ça:
C 'est dans la barre des menus → Marque-pages
Va dans le fichier userchrome
A la fin du fichier userChrome fais 1 espace ou 2
Fais un copier/coller:
/* bookmark folders */
menu.bookmark-item, menuitem.bookmark-item {
font-size: 18px !important
}
Ferme le fichier userchrome pour enregistrer la modification.
Ferme le dossier Chrome.
Ferme Firefox.
Attends 10 secondes environs.
Relance Firefox pour voir le résultat de la barre de menus → Marque-pages
Pour modifier la taille c'est cette ligne → font-size: 18px !important
C 'est un peu gros.
Tu peux descendre à 14px .
A+
ÉPATANT Pistou.
- Chuis un peu perdu dans les messages. Je vois que le (51) se retrouve en début de 2ème page, devant le 55.
Le code du message (51) que j'ai coller dans l'Userform va à merveille, tant au niveau de la police que de la taille.
Sauf que ça a modifié aussi la police dans les onglets.
La police que j'avais dans l'onglet me convenait mieux que celle en favoris (barre latérale ou marque pages).
Mais bon, ça peut rester en l'état si c'est trop de recherches.
Finalement, le code du message (55) devient inutile.
Dis moi :
- Dans le code du message (51), la police est "verdana" ou "helvetica"? Et si je dois en tester une autre, dois ôter les 2 ou une des 2?
Et puis pour le logiciel "https://www.commentcamarche.net/download/telecharger-34105964-hekasoft-backup-restore", je n'avais pas vu.
Je regarde ça demain.
Merci Pistou
A la suite
- Chuis un peu perdu dans les messages. Je vois que le (51) se retrouve en début de 2ème page, devant le 55.
Le code du message (51) que j'ai coller dans l'Userform va à merveille, tant au niveau de la police que de la taille.
Sauf que ça a modifié aussi la police dans les onglets.
La police que j'avais dans l'onglet me convenait mieux que celle en favoris (barre latérale ou marque pages).
Mais bon, ça peut rester en l'état si c'est trop de recherches.
Finalement, le code du message (55) devient inutile.
Dis moi :
- Dans le code du message (51), la police est "verdana" ou "helvetica"? Et si je dois en tester une autre, dois ôter les 2 ou une des 2?
Et puis pour le logiciel "https://www.commentcamarche.net/download/telecharger-34105964-hekasoft-backup-restore", je n'avais pas vu.
Je regarde ça demain.
Merci Pistou
A la suite
pistouri
Messages postés
18850
Date d'inscription
Statut
Contributeur
Dernière intervention
Ambassadeur
8 540
C'est les même lignes que le message 55 sauf que l'on ajoute font-family avec la police de son choix.
Regarde si tu as ou non une rubrique /* bookmark folders */
Si tu l'as pas on l'ajoute et mettant la police de ton choix
Parmi ce que j'ai pu trouver:
Verdana
helvetica
haxrcorp4089
terminal
Times New Roman
Comic Sans MS
Playfair Display
palatino linotype
Geneva
Georgia
Arial Black
Arial Bold
Gadget
Exemple avec la police → Arial Bold
Dans le fichier userchrome ça donne:
/* bookmark folders */
menu.bookmark-item, menuitem.bookmark-item {
font-family: Arial Bold !important;
font-size: 14px !important
Pour changer de police c'est dans → font-family: Arial Bold !important;
Supprime Arial Bold et remplace la par celle que tu souhaite
Exemple avec haxrcorp4089
Ce qui donne:
font-family: haxrcorp4089 !important;
Ou exemple avec haxrcorp4089 et helvetica
Ce qui donne:
font-family: haxrcorp4089,helvetica !important;
Ne pas oublier la virgule et les espaces avant et après.
Ferme le fichier userchrome pour enregistrer la modification.
Ferme le dossier Chrome.
Ferme Firefox.
Attends 10 secondes environs.
Relance Firefox pour voir le résultat de la barre de menus → Marque-pages
Ps: hekasoft-backup-restore
C'est un petit bonus si tu fais une sauvegarde complète de Firefox (réglages compris) en moins de 30 secondes et que Firefox plante ou ton PC ou si tu change de Pc la restauration de la sauvegarde prends 30 secondes également.
Sauvegarde à garder au chaud sur sur support externe (Clé USB ou DD externe).
A+
Regarde si tu as ou non une rubrique /* bookmark folders */
Si tu l'as pas on l'ajoute et mettant la police de ton choix
Parmi ce que j'ai pu trouver:
Verdana
helvetica
haxrcorp4089
terminal
Times New Roman
Comic Sans MS
Playfair Display
palatino linotype
Geneva
Georgia
Arial Black
Arial Bold
Gadget
Exemple avec la police → Arial Bold
Dans le fichier userchrome ça donne:
/* bookmark folders */
menu.bookmark-item, menuitem.bookmark-item {
font-family: Arial Bold !important;
font-size: 14px !important
Pour changer de police c'est dans → font-family: Arial Bold !important;
Supprime Arial Bold et remplace la par celle que tu souhaite
Exemple avec haxrcorp4089
Ce qui donne:
font-family: haxrcorp4089 !important;
Ou exemple avec haxrcorp4089 et helvetica
Ce qui donne:
font-family: haxrcorp4089,helvetica !important;
Ne pas oublier la virgule et les espaces avant et après.
Ferme le fichier userchrome pour enregistrer la modification.
Ferme le dossier Chrome.
Ferme Firefox.
Attends 10 secondes environs.
Relance Firefox pour voir le résultat de la barre de menus → Marque-pages
Ps: hekasoft-backup-restore
C'est un petit bonus si tu fais une sauvegarde complète de Firefox (réglages compris) en moins de 30 secondes et que Firefox plante ou ton PC ou si tu change de Pc la restauration de la sauvegarde prends 30 secondes également.
Sauvegarde à garder au chaud sur sur support externe (Clé USB ou DD externe).
A+
J'ai ce dossier ((/* bookmark folders */)).
Et j'ai pigé la manip', tu expliques très bien :-).
J'ai sauvegardé les polices que tu as notées. Je les testerai. Pour l'heure, helvetica me convient.
Je voulais te demander un dernier truc (dernier, je l'espère :-). Dans l'encadré de recherche (voir screen). La police est petite. Je suis bien allé dans les options avancées de FF, mais ça ne change en rien à cet endroit.
Tu sauras bien me guider.
Et j'ai pigé la manip', tu expliques très bien :-).
J'ai sauvegardé les polices que tu as notées. Je les testerai. Pour l'heure, helvetica me convient.
Je voulais te demander un dernier truc (dernier, je l'espère :-). Dans l'encadré de recherche (voir screen). La police est petite. Je suis bien allé dans les options avancées de FF, mais ça ne change en rien à cet endroit.
Tu sauras bien me guider.
pistouri
Messages postés
18850
Date d'inscription
Statut
Contributeur
Dernière intervention
Ambassadeur
8 540
→ Et j'ai pigé la manip', tu expliques très bien :-).
Merci.
→ Dans l'encadré de recherche (voir screen). La police est petite.
Reposte une capture STP.
Peut-être ça:
A+
Merci.
→ Dans l'encadré de recherche (voir screen). La police est petite.
Reposte une capture STP.
Peut-être ça:
A+
J'avais oublié de joindre la capture, pfffff
Voilou
Ce que tu montres (par le screen), c'est la manip' que j'ai fait, et que je fais de temps à autre pour modifier les pages web.
Mais sur ce que je demande, la taille de la police ne varie pas.
https://www.cjoint.com/c/JCAqUJGTB8w
Voilou
Ce que tu montres (par le screen), c'est la manip' que j'ai fait, et que je fais de temps à autre pour modifier les pages web.
Mais sur ce que je demande, la taille de la police ne varie pas.
https://www.cjoint.com/c/JCAqUJGTB8w
Vous n’avez pas trouvé la réponse que vous recherchez ?
Posez votre question
pistouri
Messages postés
18850
Date d'inscription
Statut
Contributeur
Dernière intervention
Ambassadeur
8 540
→ Mais sur ce que je demande, la taille de la police ne varie pas.
Ouvre le fichier userChrome.
A la fin du fichier userchrome tout en bas fais 1 espace ou 2.
Fais un copier coller:
/* Largeur maximale et taille police Search box */
#search-container, #searchbar {
max-width: 500px !important;
font-size: 16px !important
}
Ferme le fichier userchrome pour enregistrer la modification.
Ferme le dossier Chrome.
Ferme Firefox.
Attends 10 secondes environs.
Relance Firefox pour voir le résultat de la barre de menus avec le texte en blanc.
Si tu veux modifier la taille de la police c'est cette ligne → font-size: 16px !important
Ferme le fichier userchrome pour enregistrer la modification.
Ferme le dossier Chrome.
Ferme Firefox.
Attends 10 secondes environs.
Relance Firefox pour voir le résultat de la barre de recherche située en haut et à droite.
En image: Flèches jaunes.
Ps: Ne tiens pas compte des couleurs des mes onglets.
Je m'amuse à faire des essais avec les couleurs des onglets
A+
Ouvre le fichier userChrome.
A la fin du fichier userchrome tout en bas fais 1 espace ou 2.
Fais un copier coller:
/* Largeur maximale et taille police Search box */
#search-container, #searchbar {
max-width: 500px !important;
font-size: 16px !important
}
Ferme le fichier userchrome pour enregistrer la modification.
Ferme le dossier Chrome.
Ferme Firefox.
Attends 10 secondes environs.
Relance Firefox pour voir le résultat de la barre de menus avec le texte en blanc.
Si tu veux modifier la taille de la police c'est cette ligne → font-size: 16px !important
Ferme le fichier userchrome pour enregistrer la modification.
Ferme le dossier Chrome.
Ferme Firefox.
Attends 10 secondes environs.
Relance Firefox pour voir le résultat de la barre de recherche située en haut et à droite.
En image: Flèches jaunes.
Ps: Ne tiens pas compte des couleurs des mes onglets.
Je m'amuse à faire des essais avec les couleurs des onglets
A+
Je te fais de la pub du côté d'Annecy, et tu montes ton magasin Firefox :-)))).
https://www.cjoint.com/c/JCAtPwFs5Ww
https://www.cjoint.com/c/JCAtPwFs5Ww
Tu sais Pistou, si je n'avais pas pensé à créer ce raccourci ""Userchrome"" sur Rocket Dock, on ne serait pas allé loin. J'en aurais eu vite mare de me rendre dans mon profil FF pour chaque manip' à faire.
Maintenant, je sauvegarde le Userchrome sur le DDE
Maintenant, je sauvegarde le Userchrome sur le DDE
On a parfois des idées de génie sorti de nulle part. (sur Rocket Dock).
C'est une bonne initiative de sauvegarder ton fichier userchrome → sur un support externe bien entendu tu l'auras compris.
Firefox va intégré dans une future version le contrôle multimédia des vidéos →Media controls
Je souhaite pas ca
Résumé : L'un des inconvénients de cette fonctionnalité est qu'elle peut interférer avec d'autres services et applications qui reposent sur des clés multimédias, par exemple Spotify ou iTunes.
J'ai le remède dans ma boite à outils pour y remédier.
@+
C'est une bonne initiative de sauvegarder ton fichier userchrome → sur un support externe bien entendu tu l'auras compris.
Firefox va intégré dans une future version le contrôle multimédia des vidéos →Media controls
Je souhaite pas ca
Résumé : L'un des inconvénients de cette fonctionnalité est qu'elle peut interférer avec d'autres services et applications qui reposent sur des clés multimédias, par exemple Spotify ou iTunes.
J'ai le remède dans ma boite à outils pour y remédier.
@+
pistouri
Messages postés
18850
Date d'inscription
Statut
Contributeur
Dernière intervention
Ambassadeur
8 540
Si tu n'as plus rien à demander concernant le fichier userChrome ce seras le mot de la fin.
Tu peux mettre ton topic résolu.
Bonne continuation.
Bonne soirée.
Tu peux mettre ton topic résolu.
Bonne continuation.
Bonne soirée.
