Modifier le style de police de la barre de menu
La réponse
L'idéal est de modifier la police en utilisant le fichier CSS du wiki. Mais si vous n'avez pas accès à ce fichier css, vous pouvez toujours ajouter et adapter ce bout de code dans la page footer de votre wiki :
Vous pouvez aussi jouer sur la taille de la police
la couleur
ou