Modification des polices

Pour modifier les polices, sélectionnez Menu principal -> Préférences -> Affichage -> Police. La boîte de dialogue Police permet de modifier le style et la taille des polices à votre convenance.