Page 1 sur 1

Grossir les onglets et la police

Publié : 20 sept. 2023, 20:18
par icare2

Bonjour,
J'ai été opéré à un oeil il y a quelques années et malgré tout,ma vue baisse constamment. L'achat d'un nouveau PC avec la venue de Windows 11 ne me facilitent pas la vie.

Je cherche à pouvoir grossir les onglets de Firefox et la police des noms de ces onglets. Pour lire sur le net avec FFox,ça va bien,je grossis la page avec la roulette de ma souris. Par contre,je suis actuellement dans l'onglet ''Mozilla Firefox:le navigateur'' ça me prend presque une loupe pour voir le titre de l'onglet (même si mon moniteur est un 32 pouces).
:idea:
Un truc pour grossir tout ça?

Merci beaucoup


Re: Grossir les onglets et la police

Publié : 20 sept. 2023, 20:57
par Agent virtuel

Bonsoir

Information
Si vous modifiez un code, alors, Arrêt Firefox démarrer Firefox, pour prise en compte de la modification

Essayer cet ajustement (par exemple) 25px

Code : Tout sélectionner

#TabsToolbar {
font-size: 25px !important;
}

Copier/coller le code (par exemple) dans un Bloc-notes
Enregistrer
Type : Tous les fichiers
userChrome.css

Créer un dossier chrome
Déplacer userChrome.css vers votre dossier chrome

Dirigez-vous vers votre dossier de profil
https://support.mozilla.org/fr/kb/profi ... son-profil Ouvrir le dossier correspondant
Déplacer votre dossier chrome vers votre dossier de profil

about:config https://support.mozilla.org/fr/kb/edite ... on-firefox
Rechercher une préférence toolkit.legacyUserProfileCustomizations.stylesheets
Pour une préférence booléenne (true/false), cliquez sur le bouton Inverser Image lui donner la valeur true

Arrêt Firefox démarrer Firefox

Image

Sinon

Pour ma part et à ma connaissance autre zoom du user interface (interface utilisateur) qui se répercute sur l'onglet
about:config https://support.mozilla.org/fr/kb/edite ... on-firefox
Rechercher une préférence layout.css.devPixelsPerPx -1.0 (par défaut)

Mais l'effet de bord layout.css.devPixelsPerPx va se répercuter également sur les pages web
Et, par exemple, essayer 1.3

Mais il convient d'être prudent, car lors de vos essai modification layout.css.devPixelsPerPx
Si c'est vraiment mais vraiment énormément exagéré ...
Genre about:config n'est plus accessible
Dans ce cas la solution c'est arrêt Firefox démarrer Firefox arrêt Firefox
Ensuite dans le profil utilisateur https://support.mozilla.org/fr/kb/profi ... tilisateur modifier prefs.js niveau layout.css.devPixelsPerPx et de remettre à sa valeur par défaut -1.0 et enregistrer prefs.js et démarrer Firefox

Ou, ci-dessous, qui se répercute sur l'onglet, et, sans se répercuter sur les pages web

Via, userChrome.css, à tester (et par exemple 17)

Code : Tout sélectionner

/* global font */
* {font-size: 17pt !important;}

Et ne se répercute pas (un exemple sur) about:preferences, alors, vous avez la possibilité de jouer avec votre clavier Zoom avant Zoom arrière
https://support.mozilla.org/fr/kb/racco ... e-courante


Re: Grossir les onglets et la police

Publié : 20 sept. 2023, 23:27
par icare2

Merci beaucoup,
J'applique ça après le souper...

Merci