diff options
Diffstat (limited to 'docs/typ/html.typ')
| -rw-r--r-- | docs/typ/html.typ | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/docs/typ/html.typ b/docs/typ/html.typ index 2b7277e6..5f9082cd 100644 --- a/docs/typ/html.typ +++ b/docs/typ/html.typ @@ -2,17 +2,18 @@ // each under an anchor named by its id, then the tutor. // typst compile --root . --features html --format html docs/typ/html.typ pardes.html // One page because Typst 0.15's HTML export writes one document per run. -#import "style.typ": chapters, tutor-path +#import "style.typ": chapters, tutor-path, doc-links #set document(title: "pardes") +#doc-links.update(true) #html.elem("nav", { - for ch in chapters [- #link(label(ch.id), ch.title)] + for ch in chapters [- #link(label("ch-" + ch.id), ch.title)] [- #link(<tutor>)[The tutor]] }) #for ch in chapters [ - #heading(level: 1, ch.title) #label(ch.id) + #heading(level: 1, ch.title) #label("ch-" + ch.id) #if ch.file == none [_This chapter is not written yet._] else { set heading(offset: 1) include ch.file |