Permettre aux utilisateurs de sélectionner le thème Highlightjs

Il n’existe actuellement aucun moyen pour un utilisateur de sélectionner un thème Highlight.js. Cela entraîne des débats sur le thème à configurer pour le site (en utilisant le composant de sélection de thème) : certains préfèrent le mode clair, d’autres le mode sombre, etc.

Même la simple possibilité de définir des thèmes clairs et sombres à l’échelle du site constituerait une amélioration.

De plus, la version de Highlight.js est obsolète, ce qui signifie que nous ne bénéficions pas d’un grand nombre de thèmes supplémentaires.