Forum Linux.général Firefox 1.5 et police utilisee pour l'interface

Posté par  .
Étiquettes :
0
8
déc.
2005
Bonjour,

Comme beaucoup je suis passé à la version 1.5 de firefox: j'attendais juste que mon thème de prédilection soit mis a jour (pour ceux que ca intéresse, graymodern 0.7 est enfin disponible !).
Tout il est beau, tout il est joli, sauf que la police utilisée pour l'interface (je ne parle pas de la police des pages affichées par le brouteur) semble avoir fait de la musculation depuis la dernière version stable...
Y a-t-il un moyen de modifier la taille de cette police ou suis-je condamné à subir cette envahissante présence ?

merci de vos réponses éclairées

  • # userChrome.css

    Posté par  (site web personnel) . Évalué à 3.

    Dans ton fichier userChrome.css, ajoute

    * {
    font-size: 10px !important
    }


    (remplace le 10px par ce que tu souhaites)


    Ce fichier se trouve dans

    $HOME/.mozilla/firefox/TON_PROFIL/chrome/

    S'il n'existe pas tu peux le créer

    (dans le même répertoire il y a un fichier userChrome-example.css dont tu peux t'inspirer)

    • [^] # Re: userChrome.css

      Posté par  . Évalué à 3.

      je viens de tenter le coup et ca ne semble pas changer grand chose: j'ai toujours ma liste de bookmark qui se met a devoir defiler alors que tout rentrait sur une seule colonne auparavant.
      Saurais tu ou trouver une liste des proprietes modifiables ?

      merci

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.