changer (réduire) sa police sous ubuntu ?

Je me trouvais dans le même cas que Racoon97 : sous ubuntu je trouvais les polices tellement “grosses” qu’avec la barre des menus en haut ça me bouffait une bonne partie de mon écran 15?4 :sad:
Grâce notamment (Phantom :wink: ) à cette astuce de Rancoon, j’ai pu réglé mon souci (et oui c’est “Daria blogue” le titre de ce blog :lol: ) et ça va mieux, même s’il existe d’autres polices libres (que je n’ai pas encore exploré/testé)…

Des avis sur la meilleure police à adopter sous ubuntu (même si c’est aussi une question de goût) ?



Poster un nouveau commentaire

Le contenu de ce champ est gardé secret et ne sera pas montré publiquement.
  • Les lignes et les paragraphes vont à la ligne automatiquement.
  • Allowed HTML tags: <a> <em><cite> <code><center> <script><ul><img> <ol> <li> <dl> <dt> <dd><p><br><embed><object><param>

  • You can use <object>, <embed> and <script> tags from the following sites to add media to your posts:

    • http://www.youtube.com
    • http://media.nowpublic.com
    • http://youtube.com
    • http://dailymotion.com
    • http://www.dailymotion.com

Plus d'informations sur les options de formatage

CAPTCHA
Cette question nous sert à déterminer si vous êtes un humain, un robot ou un extra-terrestre
2 + 1 =
Veuillez résoudre ce simple problème mathématique afin de poster votre commentaire. Par exemple pour 1 + 3 entrez : 4