Modifier couleur de police menu & onglets firefox

Résolu
Mots croisés Messages postés 3093 Date d'inscription   Statut Membre Dernière intervention   -  
pistouri Messages postés 18900 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

Configuration: Windows / Firefox 74.0

A voir également:

26 réponses

pistouri Messages postés 18900 Date d'inscription   Statut Contributeur Dernière intervention   Ambassadeur 8 508
 
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+
0
pistouri Messages postés 18900 Date d'inscription   Statut Contributeur Dernière intervention   Ambassadeur 8 508
 
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+
0
Mots croisés Messages postés 3093 Date d'inscription   Statut Membre Dernière intervention   111
 
É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
0
pistouri Messages postés 18900 Date d'inscription   Statut Contributeur Dernière intervention   Ambassadeur 8 508
 
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+
0
Mots croisés Messages postés 3093 Date d'inscription   Statut Membre Dernière intervention   111
 
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.
0
pistouri Messages postés 18900 Date d'inscription   Statut Contributeur Dernière intervention   Ambassadeur 8 508
 
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+
0
Mots croisés Messages postés 3093 Date d'inscription   Statut Membre Dernière intervention   111
 
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
0

Vous n’avez pas trouvé la réponse que vous recherchez ?

Posez votre question
pistouri Messages postés 18900 Date d'inscription   Statut Contributeur Dernière intervention   Ambassadeur 8 508
 
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+
0
Mots croisés Messages postés 3093 Date d'inscription   Statut Membre Dernière intervention   111
 
Je te fais de la pub du côté d'Annecy, et tu montes ton magasin Firefox :-)))).

https://www.cjoint.com/c/JCAtPwFs5Ww
0
pistouri Messages postés 18900 Date d'inscription   Statut Contributeur Dernière intervention   8 508 > Mots croisés Messages postés 3093 Date d'inscription   Statut Membre Dernière intervention  
 
Merci, suis à coté de Bordeaux
On à besoin de pistouri par ici :-)
0
Mots croisés Messages postés 3093 Date d'inscription   Statut Membre Dernière intervention   111
 
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
0
pistouri Messages postés 18900 Date d'inscription   Statut Contributeur Dernière intervention   8 508 > Mots croisés Messages postés 3093 Date d'inscription   Statut Membre Dernière intervention  
 
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.

@+
0
pistouri Messages postés 18900 Date d'inscription   Statut Contributeur Dernière intervention   Ambassadeur 8 508
 
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.
0