diff options
Diffstat (limited to 'doc/types.md')
| -rw-r--r-- | doc/types.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/types.md b/doc/types.md index 51a9b9f8..0d5ed602 100644 --- a/doc/types.md +++ b/doc/types.md @@ -20,7 +20,7 @@ p ← 64‿38 dim ← (2×p) + sh × d1 ← 128‿64 rp ← 8÷d1 Pos ↩ Pos d1⊸× -Size ← "width"‿"height" ≍˘ ·FmtNum¨ d1×⊢ +Size ← "width"‿"height" ≍˘ ·FmtNum d1×⊢ cl ← {"class"‿𝕩}¨ "purple"‿"bluegreen"‿"yellow" TP ← "text" Attr "dy"‿"0.32em"∾˜Pos⊘(∾⟜Pos) |