diff options
| author | Marvin Borner | 2023-11-11 23:52:05 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-11-11 23:52:05 +0100 |
| commit | bd1b6690c6847532e59841149b89bc7a8469f586 (patch) | |
| tree | 4ed0d168bbee358fb648705dc675d6b1371ee528 /docs/wiki_src/custom.css | |
| parent | ff53e25945776668d12156193fa5bd7694055174 (diff) | |
Added basic syntax highlighting to wiki
Diffstat (limited to 'docs/wiki_src/custom.css')
| -rw-r--r-- | docs/wiki_src/custom.css | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/docs/wiki_src/custom.css b/docs/wiki_src/custom.css index 170b4cc..d68a10c 100644 --- a/docs/wiki_src/custom.css +++ b/docs/wiki_src/custom.css @@ -2,7 +2,16 @@ pre { width: 100%; white-space: pre; overflow-x: scroll; - display: inline-grid; + display: grid; +} + +/* to match std */ +pre, pre > code, code.bruijn { + background-color: #222222; +} + +pre a { + color: var(--font-color); } .headerlink { |