Page 1 sur 1

police marque pages

Publié : 16 nov. 2017, 12:05
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

Re: police marque pages

Publié : 16 nov. 2017, 17:03
par pepersan

Re: police marque pages

Publié : 16 nov. 2017, 17:18
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.

Re: police marque pages

Publié : 16 nov. 2017, 17:38
par pepersan
à outils options, polices,taille (16 chez moi)

Re: police marque pages

Publié : 16 nov. 2017, 17:47
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.