Comment modifier le style de police de la barre de menu ?

La réponse : L'idéal est de la faire via le fichier css lié au wiki
MAIS si vous n'avez pas la main sur ce fichier css, vous pouvez toujours ajouter (et adapter) ce bout de code dans la page footer de votre wiki
""<style>
.navbar {
  font-family: 'Dosis regular', cursive;
}
</style>""

Vous pouvez aussi jouer sur la taille des polices, leur couleur...