Tweak #note()

This commit is contained in:
Mark 2025-01-23 18:21:53 -08:00
parent ca82ba6d86
commit f691a49630
Signed by: Mark
GPG Key ID: C6D63995FE72FD80

View File

@ -186,15 +186,18 @@
// //
#let hint(content) = { #let note(content, type: none) = {
text(fill: rgb(100, 100, 100), style: "oblique", "Hint: ") if type != none {
text(fill: rgb(100, 100, 100), style: "oblique", [#type: ])
}
text(fill: rgb(100, 100, 100), content) text(fill: rgb(100, 100, 100), content)
} }
#let note(content) = { #let hint(content) = {
text(fill: rgb(100, 100, 100), content) note(content, type: "Hint")
} }
#let examplesolution(content) = { #let examplesolution(content) = {
let c = oblue let c = oblue
@ -282,6 +285,7 @@
if show_solutions { if show_solutions {
warn warn
} }
doc doc
} }