Modifier couleur de police menu & onglets firefox
Résolu/Fermé
Mots croisés
Messages postés
3058
Date d'inscription
dimanche 22 mai 2005
Statut
Membre
Dernière intervention
20 février 2024
-
16 mars 2020 à 18:06
pistouri Messages postés 18313 Date d'inscription dimanche 14 juin 2015 Statut Contributeur Dernière intervention 26 mars 2024 - 26 mars 2020 à 21:03
pistouri Messages postés 18313 Date d'inscription dimanche 14 juin 2015 Statut Contributeur Dernière intervention 26 mars 2024 - 26 mars 2020 à 21:03
A voir également:
- Firefox couleur onglet
- Somme si couleur - Guide
- Excel couleur conditionnelle - Guide
- Comment supprimer bing de firefox - Guide
- Video downloadhelper firefox - Télécharger - Outils pour navigateurs
- Rouvrir onglet fermé - Guide
26 réponses
pistouri
Messages postés
18313
Date d'inscription
dimanche 14 juin 2015
Statut
Contributeur
Dernière intervention
26 mars 2024
8 346
25 mars 2020 à 20:47
25 mars 2020 à 20:47
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
18313
Date d'inscription
dimanche 14 juin 2015
Statut
Contributeur
Dernière intervention
26 mars 2024
8 346
Modifié le 25 mars 2020 à 21:16
Modifié le 25 mars 2020 à 21:16
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+
Mots croisés
Messages postés
3058
Date d'inscription
dimanche 22 mai 2005
Statut
Membre
Dernière intervention
20 février 2024
110
26 mars 2020 à 00:40
26 mars 2020 à 00:40
É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
18313
Date d'inscription
dimanche 14 juin 2015
Statut
Contributeur
Dernière intervention
26 mars 2024
8 346
26 mars 2020 à 15:17
26 mars 2020 à 15:17
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+
Mots croisés
Messages postés
3058
Date d'inscription
dimanche 22 mai 2005
Statut
Membre
Dernière intervention
20 février 2024
110
26 mars 2020 à 16:20
26 mars 2020 à 16:20
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
18313
Date d'inscription
dimanche 14 juin 2015
Statut
Contributeur
Dernière intervention
26 mars 2024
8 346
26 mars 2020 à 16:51
26 mars 2020 à 16:51
Mots croisés
Messages postés
3058
Date d'inscription
dimanche 22 mai 2005
Statut
Membre
Dernière intervention
20 février 2024
110
26 mars 2020 à 17:48
26 mars 2020 à 17:48
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
18313
Date d'inscription
dimanche 14 juin 2015
Statut
Contributeur
Dernière intervention
26 mars 2024
8 346
26 mars 2020 à 18:50
26 mars 2020 à 18:50
→ 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+
Mots croisés
Messages postés
3058
Date d'inscription
dimanche 22 mai 2005
Statut
Membre
Dernière intervention
20 février 2024
110
26 mars 2020 à 20:43
26 mars 2020 à 20:43
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
pistouri
Messages postés
18313
Date d'inscription
dimanche 14 juin 2015
Statut
Contributeur
Dernière intervention
26 mars 2024
8 346
>
Mots croisés
Messages postés
3058
Date d'inscription
dimanche 22 mai 2005
Statut
Membre
Dernière intervention
20 février 2024
Modifié le 26 mars 2020 à 20:54
Modifié le 26 mars 2020 à 20:54
Merci, suis à coté de Bordeaux
On à besoin de pistouri par ici :-)
On à besoin de pistouri par ici :-)
Mots croisés
Messages postés
3058
Date d'inscription
dimanche 22 mai 2005
Statut
Membre
Dernière intervention
20 février 2024
110
26 mars 2020 à 20:46
26 mars 2020 à 20:46
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
pistouri
Messages postés
18313
Date d'inscription
dimanche 14 juin 2015
Statut
Contributeur
Dernière intervention
26 mars 2024
8 346
>
Mots croisés
Messages postés
3058
Date d'inscription
dimanche 22 mai 2005
Statut
Membre
Dernière intervention
20 février 2024
26 mars 2020 à 21:03
26 mars 2020 à 21:03
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
18313
Date d'inscription
dimanche 14 juin 2015
Statut
Contributeur
Dernière intervention
26 mars 2024
8 346
26 mars 2020 à 20:49
26 mars 2020 à 20:49
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.