Oulà !
Attention. Y'en a qui ont modifié la police pas défaut et "ils ont eu des problèmes" (du genre réinstallation d'OS X).
Ce n'est pas tant la taille le problème (elle n'a pas changé) que la police elle-même. On en avait discuté avec HR à la sortie de 10.10 ; Helvetica Neue n'est pas un choix très heureux. Avant c'était moins beau mais plus lisible.
On s'y fait à la longue. Si on pas une trop mauvaise vue.
Peut-être jouer sur la résolution de l'écran… pas glop.
_______________
Art. 10. Nul ne doit être inquiété pour ses opinions, même religieuses, pourvu que leur manifestation ne trouble pas l'ordre public établi par la Loi.
Art. 11. La libre communication des pensées et des opinions est un des droits les plus précieux de l'Homme : tout Citoyen peut donc parler, écrire, imprimer librement, sauf à répondre de l'abus de cette liberté dans les cas déterminés par la Loi.
Art. 12. La garantie des droits de l'Homme et du Citoyen nécessite une force publique : cette force est donc instituée pour l'avantage de tous, et non pour l'utilité particulière de ceux auxquels elle est confiée.