diff options
| author | Alex | 2022-02-21 07:45:48 +0000 |
|---|---|---|
| committer | GitHub | 2022-02-21 07:45:48 +0000 |
| commit | d5ba0b516263f08116c43eb0796b1027b094dabd (patch) | |
| tree | 0965f9fdbf2c7da1d6217c154d364c7eaa210507 /book/src | |
| parent | 700058f433d0d12b30b968d50cd7f9b93f983107 (diff) | |
Allow separate styles for markup headings (#1618)
* update markdown highlighting to use separate heading themes
* remove markdown theme scopes in ui
Diffstat (limited to 'book/src')
| -rw-r--r-- | book/src/themes.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/book/src/themes.md b/book/src/themes.md index 9abcfe8c..78b4d14b 100644 --- a/book/src/themes.md +++ b/book/src/themes.md @@ -166,6 +166,8 @@ We use a similar set of scopes as - `markup` - `heading` + - `marker` + - `1`, `2`, `3`, `4`, `5`, `6` - heading text for h1 through h6 - `list` - `unnumbered` - `numbered` |