update base, hide todos

This commit is contained in:
2026-07-12 16:25:43 -04:00
parent aa428b111c
commit d901fc45d8
3 changed files with 17 additions and 13 deletions

18
lib.typ
View File

@@ -13,18 +13,22 @@
#let warn = callout.with(kind: "warn", label: "Warning")
#let note = callout.with(kind: "note", label: "Note")
#let todo(label, ..args) = callout(args.pos().join(), kind: "todo", label: "[TODO] " + label, outlined: true)
#let todo(label, ..args) = {
// callout(args.pos().join(), kind: "todo", label: "[TODO] " + label, outlined: true)
none
}
#let example(body) = todo("example", body)
#let solution(body) = todo("solution", body)
#let details(body, label: none) = {
html.details({
if label != none {
html.summary(label)
}
body
})
todo(label, body)
// html.details({
// if label != none {
// html.summary(label)
// }
// body
// })
}
#let camera() = {