[résolu] Taille de police des menu de Firefox

mongolito404 · Le 21/05/2006, à 16:40

Hoi,

j'ai installé Xubuntu sur un vieux portable (celeron 650Mhz, 192Mb de RAM, 800x600). Tout va assez bien et ca reste véloce. Comme l'écran est assez limité, j'ai réduis la taille des polices systèmes à 9pt. Ca marche très bien dans les applications GTK que j'ai essayé mais pas dans firefox. Là le texte des menus reste énorme (par rapport aux autres applications).

Je pensais que je pourrais régler ça via userChrome.css mais ca ne marche pas. Si j'y mets

* {
  font-size: 9pt !important;
  font-family: DejaVu Sans !important
}

ça ne change en rien les polices des l'interfaces, sauf celles de la barre d'adresse.

Qqn aurait une idée de ce qui cloche ?

(C'est Firefox 1.5.0.3 sous Xubuntu Dapper)

Dernière modification par mongolito404 (Le 21/05/2006, à 16:42)

mongolito404 · Le 21/05/2006, à 16:42

Argh... le gros naze... c'est "px" et pas "pt"... Forcement après ca va bcp mieux.

Désolé.

Dernière modification par mongolito404 (Le 21/05/2006, à 16:42)

usky · Le 28/11/2007, à 20:40

Es ce que quelqu'un sait ou est ce fichier ?

usky · Le 29/11/2007, à 20:14

Ca marche nickel, merci Mori

Major Grubert · Le 27/05/2009, à 22:37

Pour ceux qui comme moi ont cherché :

/home/{username]/.mozilla/firefox/[random].default/chrome/

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 21/05/2006, à 16:40

[résolu] Taille de police des menu de Firefox

#2 Le 21/05/2006, à 16:42

Re : [résolu] Taille de police des menu de Firefox

#3 Le 28/11/2007, à 20:40

Re : [résolu] Taille de police des menu de Firefox

#4 Le 29/11/2007, à 20:14

Re : [résolu] Taille de police des menu de Firefox

#5 Le 27/05/2009, à 22:37

Re : [résolu] Taille de police des menu de Firefox

Pied de page des forums