add theme picker

This commit is contained in:
Jean-Marie 'Histausse' Mineau 2026-03-16 02:13:11 +01:00
parent a4337b3514
commit 49f457cda7
Signed by: histausse
GPG key ID: B66AEEDA9B645AD2
5 changed files with 122 additions and 21 deletions

View file

@ -1,4 +1,16 @@
#let css-list = state("css-list", ())
/// Add string `css` to `css-list` if not already present
#let add-css(css) = context {
css-list.update(x => if css in x { x } else { x + (css,) })
}
/// Concatenate all css found in css-list at the end of the document
#let get-css() = context {
css-list.final().join("\n\n")
}
#let html_show(body) = {
show raw.where(lang: "raw-css"): it => html.style(it.text)
show raw.where(lang: "raw-css"): it => add-css(it.text)
body
}