C'est fait !
Dans chaque page du topo, il y a maintenant un onglet
Exporter en PDF qui fait exactement ça : créer une page simple en PDF à emmener partout avec soi et avoir de la lecture quand on est perdu dans les nuages
https://www.base-jump.org/topo/Cet onglet n'est dispo que sur la version "Bureau" du site, et pas encore sur la version mobile (faut que je me penche sur ce problème). La solution est de forcer l'affichage bureau sur votre mobile quand vous voulez exporter la page (lien
Bureau en bas de la page mobile) du cliquer sur l'onglet
Exporter en PDF et revenir en mode mobile (lien
Mobile en bas de la page)
Ou pour les plus bourrins, ajouter
&action=mpdf à la fin de l'url de la page lance la création du PDF souhaité.
Exemple :
https://www.base-jump.org/topo/index.php?title=La_barre_du_10-3&action=mpdfBons sautés ou bonne lecture dans le brouillard !