police marque pages

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

loupiod
Arias
Messages : 11
Inscription : 06 juil. 2015, 10:39

police marque pages

Message par loupiod »

bonjour,
depuis le passage a la version 57.0 impossible lire les marque pages,tellement la police est petite
comment modifier cela
merci
Avatar de l’utilisateur
pepersan
Tyrannosaurus Rex
Messages : 3437
Inscription : 31 janv. 2017, 10:57

Re: police marque pages

Message par pepersan »

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]
loupiod
Arias
Messages : 11
Inscription : 06 juil. 2015, 10:39

Re: police marque pages

Message par loupiod »

merci pour le lien ,mais c'est quoi ce fichier ??
on le trouve ou??
si on le crée on le met ou???
le lien m'envoie vers un topic de 2009 ..ça pique un peu les yeux !!!
désolé pour moi c'est du chinois.
Avatar de l’utilisateur
pepersan
Tyrannosaurus Rex
Messages : 3437
Inscription : 31 janv. 2017, 10:57

Re: police marque pages

Message par pepersan »

à outils options, polices,taille (16 chez moi)
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]
Avatar de l’utilisateur
pepersan
Tyrannosaurus Rex
Messages : 3437
Inscription : 31 janv. 2017, 10:57

Re: police marque pages

Message par pepersan »

Ou cliquez sur le bouton menu puis Aide pour cliquer sur Informations de dépannage. Cela ouvrira la page about:support.
Dans la page about:support cliquez sur le bouton Ouvrir le dossier correspondant (en face de « Répertoire de profil »). Cela ouvrira votre dossier de profil dans l'explorateur.
Recherchez un dossier appelé « chrome » s'il n'y en a pas créez-le. Cliquez-droit dans une zone vide de l'explorateur, passez le curseur sur Nouveau et cliquez enfin sur Dossier.
Ouvrez le dossier \chrome\. Cliquez-droit dans une zone vide de l'explorateur, passez le curseur sur Nouveau et cliquez enfin sur Document texte.
Nommez le fichier créé « userChrome.css ».
Si une fenêtre d'alerte sur la modification de l'extension apparaît, cliquez sur Oui.
Ouvrez userChrome.css et copiez y les lignes ci-dessus.
Enregistrez votre fichier userChrome.css et redémarrez Firefox.
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]
Répondre

Qui est en ligne ?

Utilisateurs parcourant ce forum : claude1945, Google [Bot] et 4 invités