diff options
| author | Blaž Hrastnik | 2021-12-15 08:46:40 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-12-15 08:46:40 +0000 |
| commit | 40969ad4528bbb774e2b95dce0749b1dd3734ebf (patch) | |
| tree | b53323ebe6fb639acfa63cdebb743b8247a5df17 /book | |
| parent | 9bfb701c9446416a3e6f6500871ae4025001bd7c (diff) | |
Partly fix latex highlights and add markup scope docs
Diffstat (limited to 'book')
| -rw-r--r-- | book/src/themes.md | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/book/src/themes.md b/book/src/themes.md index fd3f5b1e..b6de7002 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -162,6 +162,20 @@ We use a similar set of scopes as - `namespace` +- `markup` + - `heading` + - `list` + - `unnumbered` + - `numbered` + - `bold` + - `italic` + - `underline` + - `link` + - `quote` + - `raw` + - `inline` + - `block` + #### Interface These scopes are used for theming the editor interface. |