Quelle est la fonte système utilisée pour Firefox 3.5?

[roger64]

Bonjour 

Je suis ravi de la fonte utilisée par Pardus pour Firefox 3.5 (pour les menus, barres url et personnelle).

J'utilise en parallèle Ubuntu et je me suis aperçu que la fonte système qu'ils proposaient pour FF 3.5 était beaucoup trop grosse. J'ai donc, difficilement, en créant un fichier userChrome.css et en tatônnant, réussi à la remplacer par une fonte Trebuchet MS beaucoup plus petite, à la "pardus". L'amélioration est sensible mais, ce n'est toujours pas aussi bien que pour FF 3.5 sur Pardus 2009.

La question est: de quelle fonte s'agit-il? Langue au chat, enfin au Pardus. 

[PhiX]

La police utilisée par Firefox est Deja Vu Sans, taille 15.

[roger64]

Bonjour

Je ne crois pas. Je parle de la police avec laquelle il est écrit Fichier Edition Affichage ainsi que les marque-pages, pas de celle que l'on trouve dans Edition/Préférences/Contenu et qui est utilisée pour la visualisation des pages web.

Désolé, je me suis mal exprimé. 

[PhiX]

C'est la police Sans  serif, normal, taille 9.

[roger64]

OK Merci.