bg+rl will be merged

This commit is contained in:
Jean-Marie Mineau 2025-07-04 14:24:24 +02:00
parent d02129a531
commit 660946119a
Signed by: histausse
GPG key ID: B66AEEDA9B645AD2
52 changed files with 4 additions and 12 deletions

22
3_rasta/X_lib.typ Normal file
View file

@ -0,0 +1,22 @@
#let ok = text(fill: olive, sym.checkmark)
#let okk = text(fill: olive, tracking: -5pt, sym.checkmark+sym.checkmark)
#let bad = text(fill: orange, sym.circle.stroked.small)
#let ko = text(fill: maroon, sym.crossmark)
#let nr = sym.dash.en
#let str2sym(s) = {
if s == "ok" {
ok
} else if s == "okk" {
okk
} else if s == "bad" {
bad
} else if s == "ko" {
ko
} else if s == "nr" {
nr
} else {
s
}
}