Étiquettes de page personnalisées
Des pages numérotées par leurs étiquettes plutôt que par leur position.
Le numéro que l'on tape pour aller à une page devrait être celui qui est imprimé sur cette page. C'est à cela que servent les étiquettes de page : les pages de début en chiffres romains minuscules, une planche insérée avec une étiquette à elle, puis une numérotation en chiffres normaux qui repart à un au début du corps du livre.
Savoir si les étiquettes fonctionnent n'est pas une question à laquelle le fichier peut répondre : la réponse est dans la case où l'on tape un numéro de page, seul endroit où elles apparaissent. Chaque page de ce document annonce donc ce qu'un lecteur devrait afficher pour elle — ouvrez le fichier, et soit les deux s'accordent, soit ils ne s'accordent pas.
Ce que montre cet exemple
- Numérotation romaine, arabe et alphabétique dans un même document.
- Un préfixe porté devant le numéro, par plage.
- Une numérotation qui repart là où vous le décidez.
Le code, en entier
Le même document est écrit deux fois, une fois dans chaque langage. Les deux fichiers sont montrés en entier, avec la coloration du code, et se copient d'un seul clic.
Le document lui-même
Le même document est écrit dans chacune de ces langues. Ouvrez celle que vous voulez regarder.
Ouvrir le document en anglais
Ouvrir le document en français
Voir le code Rust
Voir le code Python