html title

This commit is contained in:
2025-07-08 18:06:33 +02:00
parent 6c4616eb4c
commit 590f92f97e
7 changed files with 27 additions and 12 deletions

View File

@@ -17,9 +17,16 @@
gen-table-of-contents: true,
gen-index-ref: true,
min-pdf-link: true,
html-title,
content) = {
core-page-style[
let head = context if is-html() {
[
#html.elem("title", html-title)
]
} else {[]}
core-page-style(html-head: head)[
#if is-web {
let off = 3;