Duplicate possible:
Comment changer les polices et ajuster leur taille?
Avant 11.10, il était possible de changer les polices par défaut du système dans le changeur de paramètres d'apparence, mais maintenant, on ne peut changer que le papier peint. Existe-t-il une clé gconf que l'on peut utiliser?
Dans le centre logiciel, cherchez gnome-Tweak-tool
et installez-le. Il apparaîtra comme Advanced settings
dans le lanceur.