Problème de polices avec gtk (et firefox)
Je ne sais pas d’ou vient ce probleme, mais les polices de gtk sont beaucoup trop petites (voir minuscules) avec des résolutions d’écrans un peu batardes (1360*800 par exemple). Apparemment un mauvais calcul du DPI par X. J’ai eu beau essayer de lui spécifer d’autre valeur via le .Xresources (Xft.dpi), rien n’y fait.
La seule solution est de spécifier un font plus grosse pour gtk. Tout simplement dans le fichier .gtkrc-2.0:
gtk-font-name = "Verdana 16"
Malheureusement, firefox fait un calcul différent pour le DPI et m’affiche des fonts énorme. Du coup, il faut ajouter dans le fichier .mozilla/firefox/<random>/chrome/userChrome.css:
* {
font-size: 8pt !important;
}