diff options
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 { |