Fix navigation instant
- Réorganise toutes les insertions de JS pour pouvoir garder
navigation.instantactivée, dans materials - dans le même temps, systématisation de certains comportements (si possible) en vue d'éventuelles évolutions ultérieures
- Déplace le cdn de mathjax du mkdocs.yml.extra_javascripts dans le dossier du theme (au bon endroit pour qu'il veuille bien marcher avec la souscription de la config)
- Rétablit l'auto-complétion activée par défaut dans l'éditeur + change le raccourci pour l'activer manuellement (à discuter avec les usagers)
Je n'ai pas réussi à faire marcher ace-editor avec navigation.instant. Même en hackant les éléments dans le DOM:
- ça marche tjrs en détruisant les élément à la main et en les reconstruisant dans la même page
- dès qu'on change de page, "plus rien" ne marche, même en hackant le DOM
- nota: en fait le contenu de l'éditeur est bien là et tout "fonctionne", mais la présentation est complètement buguée (mauvais ordre d'éléments dans le DOM et arrangement/tailles bugués)
Modification effectuée par Frederic Zinelli