This commit is contained in:
2026-06-20 01:13:14 -04:00
parent 85c67e1334
commit 0e93efe76d
6 changed files with 155 additions and 5 deletions

View File

@@ -38,12 +38,14 @@
link(index().location(), title(index().title))
let target = selector(heading).within(chapter.get().loc).or(heading.where(level: 1))
outline(title: none, target: target)
divider()
})
html.main(id: "main", main)
html.footer(context {
let next = query(selector(heading.where(level: 1, outlined: true)).after(here())).first(default: none)
if next != none {
divider()
show outline.entry: it => [Next: #it]
outline(title: none, target: next.location())
}
@@ -54,7 +56,7 @@
rawdoc("/index.html", include "content/00-index.typ")
doc("/core.html", include "content/01-core.typ")
doc("/interference.html", include "content/02-interference.typ")
doc("/tileset.html", include "content/03-tileset.typ")
doc("/timing.html", include "content/03-timing.typ")
doc("/design.html", include "content/04-design.typ")
doc("/channels.html", include "content/05-channels.typ")
doc("/transport.html", include "content/06-transport.typ")