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

Un message a été divisé en un nouveau sujet : Paramètre expérimental de nouveaux groupes de vues admin