diff options
| -rw-r--r-- | docs/style.css | 2 | ||||
| -rw-r--r-- | docs/wiki_src/custom.css | 6 |
2 files changed, 6 insertions, 2 deletions
diff --git a/docs/style.css b/docs/style.css index b23edad..95fb8e0 100644 --- a/docs/style.css +++ b/docs/style.css @@ -157,7 +157,7 @@ a { padding: 15px; font-size: 1.2em; border-radius: 10px; - overflow: scroll; + overflow: auto; } .code .repl { diff --git a/docs/wiki_src/custom.css b/docs/wiki_src/custom.css index b688f54..68bfa7b 100644 --- a/docs/wiki_src/custom.css +++ b/docs/wiki_src/custom.css @@ -1,10 +1,14 @@ pre { width: 100%; white-space: pre; - overflow-x: scroll; + overflow: auto !important; display: grid; } +code { + overflow: auto !important; +} + /* to match std */ pre, pre > code, code.bruijn { background-color: #222222; |