Police de caractères
Nos choix de polices/fontes (Ubuntu Medium, Ubuntu Light, Ubuntu Condensed) datent d'il y a plus de 3 ans : fd048819, 6382ead5. Voir aussi #1015 (closed).
À l'occasion d'un renouvellement de l'interface (#2245, #1740 (closed)), ce serait l'occasion de rafraichir l'ensemble et de choisir une (ou deux, mais plutôt une) famille de polices, libre, moderne, et avec suffisament de variantes.
Nouvelle contrainte par rapport à il y a trois ans : être aussi assez riche pour des scripts non-latins (ou avoir au moins une police complète en fallback pour ces scripts).