Modifier (taille gras couleur) la police de FF [résolu]

Vos requêtes concernant Mozilla Firefox, le navigateur Gecko alternatif, ne trouvèrent point de réponses lorsque vous cherchâtes ? Toute l'équipe Geckozone est prête à vous aider.

Modérateurs : nico@nc, Mori, jpj, myahoo

NathNate
Lézard à collerette
Messages : 217
Inscription : 12 août 2019, 00:15

Modifier (taille gras couleur) la police de FF [résolu]

Message par NathNate »

Bonjour :)

J'aimerais augmenter la taille de la (des) police(s) dédiée(s) Firefox pour la barre de menus, onglets
Image

et liste déroulante de la barre personnelle des marque-pages :
Image

J'ai regardé dans "⚙ options" mais sans succès.
D'avance merci pour l'aide 😊

Dernière modification par NathNate le 11 mai 2023, 23:44, modifié 4 fois.
Agent virtuel

Re: Augmenter la taille de la police de FF

Message par Agent virtuel »

Bonsoir

En complément de https://support.mozilla.org/fr/kb/taill ... ille-pages

Éventuellement via about:config https://support.mozilla.org/fr/kb/edite ... on-firefox
Essayer ? layout.css.devPixelsPerPx viewtopic.php?f=5&t=141496

À essayer aussi sous Thunderbird
layout.css.devPixelsPerPx Illustration 16 Août 2020
https://drive.google.com/file/d/1FlwZYs ... sp=sharing
Vous avez aussi la possibilité de Télécharger si vous le souhaitez
NathNate
Lézard à collerette
Messages : 217
Inscription : 12 août 2019, 00:15

Re: Augmenter la taille de la police de FF

Message par NathNate »

Agent virtuel a écrit : 13 nov. 2020, 17:07 Bonsoir

En complément de https://support.mozilla.org/fr/kb/taill ... ille-pages

Éventuellement via about:config https://support.mozilla.org/fr/kb/edite ... on-firefox
Essayer ? layout.css.devPixelsPerPx viewtopic.php?f=5&t=141496
Déjà essayé et ça ne donne rien.
Agent virtuel a écrit : 13 nov. 2020, 17:07 À essayer aussi sous Thunderbird
layout.css.devPixelsPerPx Illustration 16 Août 2020
https://drive.google.com/file/d/1FlwZYs ... sp=sharing
Vous avez aussi la possibilité de Télécharger si vous le souhaitez
Thunderbird c'est déjà fait merci. Ce que je souhaite c'est pour FireFox.
Je sais qu'il faut taper "about:config" mais je ne sais pas quelle ligne choisir.
Et je ne peux pas suivre le GIF car il ne se charge pas. Le petit cercle tourne, passe du bleu au rouge au jaune et c'est tout.
Avatar de l’utilisateur
pepersan
Tyrannosaurus Rex
Messages : 3426
Inscription : 31 janv. 2017, 10:57

Re: Augmenter la taille de la police de FF

Message par pepersan »

Bonsoir
Je sais qu'il faut taper "about:config" mais je ne sais pas quelle ligne choisir.
Agent virtuel l a donnée: Essayer ? layout.css.devPixelsPerPx viewtopic.php?f=5&t=141496
Firefox 140 Linux Mint 21.3 Virginia base: Ubuntu 22.04 jammy
Pour mettre en [Résolu] éditer le premier message du post, en cliquant sur le crayon, modifier le titre, en y ajoutant [Résolu]
NathNate
Lézard à collerette
Messages : 217
Inscription : 12 août 2019, 00:15

Re: Augmenter la taille de la police de FF

Message par NathNate »

Désolé mais je ne comprends pas comment ça

Image

va me permettre d'augmenter la taille par défaut de la police de Firefox : si elle est à 10, j'aimerais qu'elle passe à 16 par exemple.
Avatar de l’utilisateur
pepersan
Tyrannosaurus Rex
Messages : 3426
Inscription : 31 janv. 2017, 10:57

Re: Augmenter la taille de la police de FF

Message par pepersan »

Bonjour

il y a un lien à la suite de la ligne proposé et il fallait cliquer pour voir la solution.
Donc il y a -1, supprime le - et tape 1.1,ferme Firefox , teste, si tu veux augmenter: 1.2 ,etc
Firefox 140 Linux Mint 21.3 Virginia base: Ubuntu 22.04 jammy
Pour mettre en [Résolu] éditer le premier message du post, en cliquant sur le crayon, modifier le titre, en y ajoutant [Résolu]
Anonyme1
Varan
Messages : 1473
Inscription : 05 juil. 2006, 15:54

Re: Augmenter la taille de la police de FF

Message par Anonyme1 »

Bonjour,
je ne suis pas certain que la réponse qui est donnée soi la bonne par rapport à la demande qui est: Augmenté la taille de la police des onglets et du menu déroulant des marques-page de la barre personnelle et pas un zoom complet de Firefox en utilisant la ligne "layout.css.devPixelsPerPx".

Augmenter la taille de la police des onglets.
Image

Et, augmenter la taille de la police du menu déroulant des marques-page de la barre personnelle.

Image

Donc:
Pour augmenter la police dans les onglets:
Code userChrome.css

Code : Tout sélectionner

 /* changer la police (taille/couleur...) des onglets */
.tab-text   {
font-size: 150%;
color: red;
!important;
}
Mettre le % que tu désires (110%, 120%, 130%, 140% etc..., et tu peut supprimer la couleur "color: red " ou en mettre une autre a la place de "red")

Avant (taille de la police normale)
Image

Après avec le code
Image

Pas trouver pour augmenter la taille de la police du menu déroulant des marques-page de la barre personnelle, et pas sûr que cela soit possible :?:
A+ :wink:
Edit du message correction d'une erreur dans le code, manquait un point virgule après color: red.
Dernière modification par Anonyme1 le 15 nov. 2020, 17:07, modifié 1 fois.
NathNate
Lézard à collerette
Messages : 217
Inscription : 12 août 2019, 00:15

Re: Augmenter la taille de la police de FF

Message par NathNate »

GlopGlop a écrit : 14 nov. 2020, 15:16 Bonjour,
je ne suis pas certain que la réponse qui est donnée soi la bonne par rapport à la demande qui est: Augmenté la taille de la police des onglets et du menu déroulant des marques-page de la barre personnelle et pas un zoom complet de Firefox en utilisant la ligne "layout.css.devPixelsPerPx".

Augmenter la taille de la police des onglets.
Image

Et, augmenter la taille de la police du menu déroulant des marques-page de la barre personnelle.

Image

Donc:
Pour augmenter la police dans les onglets:
Code userChrome.css

Code : Tout sélectionner

 /* changer la police (taille/couleur...) des onglets */
.tab-text   {
font-size: 150%; color: red !important;
}
Mettre le % que tu désires (110%, 120%, 130%, 140% etc..., et tu peut supprimer la couleur "color: red " ou en mettre une autre a la place de "red")

Avant (taille de la police normale)
Image

Après avec le code
Image

Pas trouver pour augmenter la taille de la police du menu déroulant des marques-page de la barre personnelle, et pas sûr que cela soit possible :?:
A+ :wink:
Bonsoir,

voilà tu as mis le doigt dessus ! Ce que je souhaite c'est augmenter la taille par défaut de la police de Firefox : si elle est à 10, j'aimerais qu'elle passe à 16 par exemple. J'avais d'ailleurs demandé la même chose pour TB, avec succès.

Je m'y colle ;) Ces codes je les mets où ? Je passe par about:config ?
Anonyme1
Varan
Messages : 1473
Inscription : 05 juil. 2006, 15:54

Re: Augmenter la taille de la police de FF

Message par Anonyme1 »

Bonjour,
NathNate a écrit : 14 nov. 2020, 19:07 voilà tu as mis le doigt dessus ! Ce que je souhaite c'est augmenter la taille par défaut de la police de Firefox : si elle est à 10, j'aimerais qu'elle passe à 16 par exemple. J'avais d'ailleurs demandé la même chose pour TB, avec succès.
Tu me mets dans le doute :!:
Tu veux augmenter toutes les polices de Firefox.
Ou seulement celle des onglets et du menu déroulant des marques-page de la barre personnelle
:?:
Si tu veux augmenter toutes les polices de Firefox le code ci-dessous ne sert a rien, il est juste pour la police des onglets.
NathNate a écrit : 14 nov. 2020, 19:07 Je m'y colle ;) Ces codes je les mets où ? Je passe par about:config ?
La première chose à faire:
Activer la prise en charge d'un fichier userChrome.css dans Firefox. (puisque: La prise en charge des fichiers de personnalisation "userContent.css et userChrome.css" sera désactivée par défaut avec l'arrivée de Firefox 69) viewtopic.php?f=13&t=141630
Pour le réactiver:
Ouvre un nouvel onglet:
Dans la barre d'adresse tape ceci → about:config et la touche ENTRER du clavier puis clique sur "Accepter le risque et poursuivre"
Sur la page des préférences about:config, dans la barre de recherche copier coller ceci → toolkit.legacyUserProfileCustomizations.stylesheets (cette valeur est normalement en False) effectuer un double-clic dessus pour la passer en true
Ferme l'onglet des préférences about:config
Ensuite, on va ouvrir le dossier de profil de Firefox:
Explication:(ouvrir Firefox)
L'on commence par afficher la page "informations de dépannage".
1°) Pour afficher la page "Informations de dépannage" (aux choix) plusieurs façons de faire (a, b, ou c).
- a) - dans la barre d'adresse tape ou copier/coller about:support et touche Entrer du clavier.
- b) - bouton (icône en haut à droite) ☰ → ? Aide → information de dépannage.
- c) - barre de menu → Aide → information de dépannage.

2°) Sur la page "information de dépannage" sur la ligne "Dossier de profil ", clic sur "Ouvrir le dossier correspondant" le dossier de profil va s'ouvrir, (laisser ouvert le dossier de profil) et Fermer Firefox.

3°) Dans le dossier de profil, créer un nouveau dossier que l'on nomme "chrome" (sans les guillemets et en minuscule).

4°) Ouvrir le bloc note de Windows, ou encore mieux Notepad ++ (s’il est installé sur ton PC (pas obligatoire)).
ci-dessous ↓: clic sur "TOUT SÉLECTIONNER", puis un clic droit et "Copier", et tu colles cela dans le bloc note (ou Notepad ++).

Code : Tout sélectionner

 /* changer la police (taille/couleur...) des onglets */
.tab-text   {
font-size: 150%; 
color: Red;
!important;
}
Mettre le % que tu désires 110%; 112%; 113%; ... 120%; 130%; 140%; etc...
Tu peut supprimer (la ligne) la couleur "color: red; " ou en mettre une autre a la place de "red;")
Noms des couleurs SVG / HTML https://fr.wikipedia.org/wiki/Couleurs_ ... rs_SVG_1.0

5°) Tu enregistres le bloc note (ou Notepad ++) sur le bureau avec comme nom de fichier "userChrome.css" (sans les guillemets, ATTENTION au C majuscule dans userChrome.css ), une fois enregistrer, tu mets le fichier userChrome.css dans le dossier chrome, que tu à créer dans le profil.
ATTENTION ! au nom de fichier que tu enregistres avec le bloc note qui doit etre userChrome.css et pas userChrome.css.txt (pas de .txt a la fin) car il est possible que dans Windows, les "Options des dossiers" que la case "Masquer les extensions des fichiers dont le type est connu" soit cochée: pour être certain, voir l'explication ici viewtopic.php?p=876404#p876404
Ferme tous et ouvrir Firefox.

Tu peut aussi mettre la police en gras en ajoutant dans le code la ligne suivante:

Code : Tout sélectionner

font-weight: bold;
ce qui donne:

Code : Tout sélectionner

 /* changer la police (taille/couleur...) des onglets */
.tab-text   {
font-size: 130%;
color: Red;
font-weight: bold;
!important;
}
A+ :wink:
NathNate
Lézard à collerette
Messages : 217
Inscription : 12 août 2019, 00:15

Re: Augmenter la taille de la police de FF

Message par NathNate »

Bonsoir @GlopGlop

Oui c'est ça : augmenter la taille par défaut de la police de Firefox, au minimum pour barre de menu, onglets et liste déroulante de la barre perso. Après si on peux aussi augmenter la taille dans les "options" du menu, je prends bien sûr !
Je vois ça de + près...
NathNate
Lézard à collerette
Messages : 217
Inscription : 12 août 2019, 00:15

Re: Augmenter la taille de la police de FF

Message par NathNate »

GlopGlop a écrit : 15 nov. 2020, 17:08 Bonjour,
ce qui donne:

Code : Tout sélectionner

 /* changer la police (taille/couleur...) des onglets */
.tab-text   {
font-size: 130%;
color: Red;
font-weight: bold;
!important;
}
A+ :wink:
Merci 👍 Ça fonctionne pile poil pour les onglets 👌
Tu penses que c'est possible aussi pour la barre de menus et les petits menus déroulants ?
Ainsi que pour la barre personnelle et sa liste déroulante ?
Ce serait topissime !
Agent virtuel

Re: Augmenter la taille de la police de FF

Message par Agent virtuel »

Bonjour

https://www.reddit.com/r/FirefoxCSS
https://www.reddit.com/r/FirefoxCSS/com ... rk_folders

Simplement pour voir

Essayer userChrome.css

Code : Tout sélectionner

/* Classic Menu Bar (windows only?) */
#toolbar-menubar .menubar-text,
#toolbar-menubar menuitem,
#toolbar-menubar menu {
font-size: 22px !important;
font-weight: bold !important;
}

/* Tab bar */
#TabsToolbar {
font-size: 22px !important;
font-weight: bold !important;
}

/* Main Toolbar */
#nav-bar {
font-size: 22px !important;
font-weight: bold !important;
}

#bookmarks-view,
toolbar,
toolbar menuitem,
toolbar menu {
  font-size: 22px !important;
  font-weight: bold !important;
}
Anonyme1
Varan
Messages : 1473
Inscription : 05 juil. 2006, 15:54

Re: Augmenter la taille de la police de FF

Message par Anonyme1 »

Bonjour,
@Agent virtuel toujours le grève du clavier :!: 8-)
Un peu plus en détail:

1) Pour toutes les polices Firefox

Code : Tout sélectionner

/* Changer la police (taille/couleur...) de
Barre d’adresse,
Des onglets,
Barre de menus et sous menus,
Barre personnelle,
Les menus contextuels clic droit souris sur la page*/
#bookmarks-view,
toolbar,
toolbar menuitem,
toolbar menu,
menupopup[id*="ContextMenu"] menuitem,
menupopup[id*="ContextMenu"] menu,
placesContext menuitem,
placesContext menu,
backForwardMenu menuitem 
 {
font-size: 20px !important;
 font-weight: bold !important;
color: FireBrick  !important;
background-color: Linen !important;
} 
/* Fin: Changer la police (taille/couleur...) de
Barre d’adresse,
Des onglets,
Barre de menus et sous menus,
Barre personnelle,
Les menus contextuels clic droit souris sur la page*/
Qui donne ceci:↓(faire un clique droit sur l'image "ouvrir le lien dans un nouvel onglet"
Image

2) Seulement pour: Changer la taille de police Barre de menus et sous menus

Code : Tout sélectionner

/* Changer la taille de police Barre de menus et sous menus */
#toolbar-menubar .menubar-text,
#toolbar-menubar menuitem,
#toolbar-menubar menu {
font-size: 22px !important;
font-weight: bold !important;
color: FireBrick  !important;
background-color: Linen !important;
}
/* Fin: Changer la taille de police Barre de menus et sous menus */
Qui donne ceci:↓(faire un clique droit sur l'image "ouvrir le lien dans un nouvel onglet"
Image

3) Seulement pour: Changer la taille de police/couleur des onglets actif/inactifs

Code : Tout sélectionner

/* Changer la police (taille/couleur des onglets actif/inactifs) */
#TabsToolbar {
font-size: 22px !important;
font-weight: bold !important;
color: FireBrick !important;
background-color: Linen !important;
}
/* Fin: Changer la police (taille/couleur des onglets actif/inactifs) */
Qui donne ceci:↓(faire un clique droit sur l'image "ouvrir le lien dans un nouvel onglet"
Image

4) Seulement pour: Couleur de l'onglet au survol souris
/*=== Couleur de l'onglet au survol souris ===*/
#tabbrowser-tabs tab:hover {
color: white !important;
background-color:blueviolet !important;
}
/* Fin: Couleur de l'onglet au survol souris */
Qui donne ceci:↓(faire un clique droit sur l'image "ouvrir le lien dans un nouvel onglet"
Image

5) Seulement pour: Changer la taille de police barre d’adresse

Code : Tout sélectionner

/* Changer la taille de police barre d’adresse */
#nav-bar {
font-size: 22px !important;
font-weight: bold !important;
}
/* Fin: Changer la taille de police barre d’adresse */
Qui donne ceci:↓(faire un clique droit sur l'image "ouvrir le lien dans un nouvel onglet"
Image

6) Seulement pour: Changer la police/couleur du menu contextuel clic droit souris

Code : Tout sélectionner

/* Changer la police/couleur du menu contextuel clic droit souris */
menupopup[id*="ContextMenu"] menuitem,
menupopup[id*="ContextMenu"] menu,
#placesContext menuitem,
#placesContext menu,
#backForwardMenu menuitem {
font-size: 22px !important;
font-weight: bold !important;
color: FireBrick !important;
background-color: Linen !important;
}
/* Changer la police/couleur du menu contextuel clic droit souris */
Qui donne ceci:↓(faire un clique droit sur l'image "ouvrir le lien dans un nouvel onglet"
Image

7) Seulement pour: Changer la police (taille/couleur...) de la barre personnelle

Code : Tout sélectionner

/* Changer la police (taille/couleur...) barre personnelle */
#PersonalToolbar,
#PersonalToolbar menuitem,
#PersonalToolbar menu {
font-size: 22px !important;
font-weight: bold !important;
color: FireBrick !important;
background-color: Linen !important;
}
/* Fin: Changer la police (taille/couleur...) barre personnelle */
Qui donne ceci:↓(faire un clique droit sur l'image "ouvrir le lien dans un nouvel onglet"
Image

8) Seulement pour: Couleur de l'onglet Actif
/* Couleur onglet Actif */
.tab-background[selected="true"] {
background-color: blueviolet!important;
/* Fin: Couleur onglet Actif */
Qui donne ceci:↓(faire un clique droit sur l'image "ouvrir le lien dans un nouvel onglet"
Image

9) Seulement pour: Afficher Barre personnelle au survol de la souris

Code : Tout sélectionner

/* Afficher Barre personnelle au survol de la souris */
/* Barre personnelle Cachée */
#PersonalToolbar {
background: #F9F9FA !important;
font-family: Times, sans-serif !important;
font-size: 13px !important;
color: #000 !important;
height: 6px !important;
min-height: 6px !important;
max-height: 6px !important;
transition-duration: .0.1s !important;
padding:0;
z-index: 100 !important;
}
/* Barre personnelle affichée en hover */
#PersonalToolbar:hover{
background: #f9f9fa !important;
height: 43px !important;
min-height: 40px !important;
max-height:43px !important;
transition-duration: 1s !important;
padding: 2px 2px;
box-shadow: 1px 1px 2px #000 !important;
}
/* Fin: Afficher Barre personnelle au survol de la souris */
10) Seulement pour: Affichage du panneau latéral au passage de la souris

Code : Tout sélectionner

/* Affichage du panneau latéral au passage de la souris */
#sidebar-box {
overflow: hidden !important;
min-width: 0px !important;
max-width: [b]250[/b]px !important;
}
:root {
--sidebar-hover-width: 5px;
--sidebar-visible-width: [b]250[/b]px;
}
#sidebar-box {
position: relative !important;
overflow-x: hidden !important;
left: var(--sidebar-hover-width) !important;
min-width: var(--sidebar-hover-width) !important;
max-width: var(--sidebar-hover-width) !important;
transition-duration: 2s !important;
}
#sidebar-box:hover {
left: var(--sidebar-visible-width) !important;
min-width: 250px !important;
transition-duration: 1s !important;
}
/* Fin: Affichage du panneau latéral au passage de la souris */
- Pour changer une couleur dans un code par exemple la ligne: color: FireBrick !important;
(remplacer FireBrick par red (pour mettre en rouge) → color: red !important;

- Pour changer la couleur du fond dans un code par exemple la ligne background-color: Linen !important;
(remplacer Linen par green (pour mettre en vert) → background-color: green !important;
Les couleurs ici https://fr.wikipedia.org/wiki/Couleurs_ ... rs_SVG_1.0

- Pour supprimer une couleur/couleur du fond/taille de police/ police en gras, supprimer là ou les lignes correspondantes.
Les lignes:
color: /correspond a la couleur du texte
background-color: corresponds a la couleur du fond
font-size: corresponds a la taille du texte (à la police) et le 22px (exemple: font-size: 22px !important;) le chiffre 22 correspond a la taille de la police
font-weight: corresponds au texte en gras (à la police en gras)

Il est possible de mettre plusieurs codes a la suite (faire attention au doublon dans les codes)
Dans les captures, la couleur verte des barres est dû a mon thème Windows
A+ :wink:
Agent virtuel

Re: Augmenter la taille de la police de FF

Message par Agent virtuel »

Bonsoir
GlopGlop a écrit : 16 nov. 2020, 19:03 @Agent virtuel toujours le grève du clavier :!: 8-)
Prières de se calmer ...

NathNate ce que je vous ai proposé d'essayer viewtopic.php?p=909607#p909607
C'est de remplacer votre userChrome.css et voir ...
That all
NathNate
Lézard à collerette
Messages : 217
Inscription : 12 août 2019, 00:15

Re: Augmenter la taille de la police de FF

Message par NathNate »

Agent virtuel a écrit : 16 nov. 2020, 19:15 Bonsoir
GlopGlop a écrit : 16 nov. 2020, 19:03 @Agent virtuel toujours le grève du clavier :!: 8-)
Prières de se calmer ...

NathNate ce que je vous ai proposé d'essayer viewtopic.php?p=909607#p909607
C'est de remplacer votre userChrome.css et voir ...
That all
Oui j'avais bien compris, mais je butte sur les termes techniques. Je suis loin de votre niveaux !
Répondre

Qui est en ligne ?

Utilisateurs parcourant ce forum : Google [Bot], Quirio22, Semrush [Bot] et 1 invité