Taille de police par défaut plus grande pour la barre latérale

Après avoir expérimenté le changement de taille de police, je confirme que je l’apprécie (j’ai voté uniquement sur la base de la capture d’écran :upside_down_face:).

Ma tête est 5 cm plus loin de l’écran :+1:

3 « J'aime »