La taille de la police peut être réglée à partir de l'icône.png){kind=small}
située dans le coin supérieur droit, entre l'icône "étoile" et l'icône "loupe". Une fois que vous avez tapé dessus, vous pouvez déplacer le curseur vers la gauche et la droite pour obtenir la taille de police souhaitée.