Standard escape codes are prefixed with Escape:
- Ctrl-Key:
^[ - Octal:
\033 - Unicode:
\u001b - Hexadecimal:
\x1B - Decimal:
27
| #let typ(body) = html.elem( | |
| "typ", | |
| { | |
| // distinguish parbreak from <p> tag | |
| show parbreak: it => html.elem("typParbreak", "") | |
| show linebreak: it => html.elem("typLinebreak", "") | |
| show strong: it => html.elem("typStrong", it.body) | |
| show emph: it => html.elem("typEmph", it.body) | |
| show highlight: it => html.elem("typHighlight", it.body) |