J'utilise habituellement l'envirronement Gnome, mais j'ai décidé récemment d'utiliser FluxBox. J'aime bien celui-ci, mais j'ai tout de même un problème : Firefox utilise une police différente pour ses menus. Je m'explique : il utilise habituellement (du moins sous Gnome), les paramètres de Gtk2 pour l'interface (menus, etc...). Mais sous FluxBox (comme sous WindowMaker je crois), il n'en fait qu'à sa tête et utilise une police différente (probablement "BitStream Vera Sans" taille 12), alors que je désire utiliser "FreeSans", qui est selon moi beaucoup plus agréable à la vue.
 
J'ai entendu parler du fichier de config userChrome.css, situé dans le répertoire $HOME/.mozilla/firefox/xxxxxxx.default/chrome/. Il est bien présent, mais Firefox n'en fait toujours qu'à sa tête et ne prend absolument pas en compte les modifications que j'y effectue, alors que la documentation officielle de Firefox précise bien que c'est ce fichier qui régit l'interface de Firefox.
 
Des solutions ?