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.css
Tu 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.
