Bruno wrote:
Bonjour, J'utilise kde 3.2 sous Woody. Quelqu'un saurait-il comment modifier la police utilisée par Mozilla 1.4 pour afficher les menus ? Il semble y avoir de nombreux posts sur la gestion des polices sous Linux mais rien ne m'inspire. Merci d'avance. Bruno
Dans ton fichier ~/.mozilla/<profile>/<aleatoire>/chrome/userchrome.cssTu mets la ligne suivante pour toutes les polices de l'interface par exemple.
* { font-family: "Bitstream Vera Sans" !important; font-size: 11px !important } et sinon : http://www.mozilla.org/unix/customizing.html Jérôme.