- Améliore l'usage des polices, pour se passer de TheSans.
- Utilise une version des scripts JS servis par le projet, que ce soit
pour l'interface de pagedjs ou pour recharger le document dans
l'interface web restant au même endroit dans le document.
- Ajoute la classe `.newpage` à la liste des sélecteurs provoquant un
saut de page.
- Crée la classe `.exercise` pour mettre en avant les sections
d'exercice.
- Utilise la variable pandoc `noscript` (à passer dans la commande
pandoc avec -V noscript=true) lors de la production du PDF avec pandoc
et le pdf-engine pagedjs-cli.
Co-Authored-by: iGor milhit <igor@milhit.ch>
iGor milhit