diff options
Diffstat (limited to 'doc/docinfo.html')
| -rw-r--r-- | doc/docinfo.html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/docinfo.html b/doc/docinfo.html index 2be23cfaa..aaf22026b 100644 --- a/doc/docinfo.html +++ b/doc/docinfo.html @@ -32,6 +32,7 @@ --icon-warning-color: #f39c12; --icon-caution-color: #bf3400; --icon-important-color: #f44336; + --mark-bg-color: #007; } } @@ -61,6 +62,7 @@ --icon-warning-color: #bf6900; --icon-caution-color: #ff0000; --icon-important-color: #bf0000; + --mark-bg-color: #9df; } } @@ -180,6 +182,11 @@ kbd { border-left: var(--border); } +mark { + background-color: var(--mark-bg-color); + color: var(--body-color); +} + /* syntax highlighting tuning */ pre.pygments .tok-cp { |