diff options
| -rw-r--r-- | config/nimdoc.cfg | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index 3375460cc..2e0bf62a0 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -163,12 +163,12 @@ body { /* For devices larger than 400px */ @media (min-width: 400px) { .container { - width: 85%; + width: 100%; padding: 0; } } /* For devices larger than 650px */ @media (min-width: 650px) { .container { - width: 80%; } + width: 100%; } .column, .columns { @@ -481,7 +481,7 @@ h6 { ul, ol { padding: 0; - margin: 0 0 10px 25px; } + margin: 0 0 0px 15px; } ul ul, ul ol, @@ -574,15 +574,16 @@ code { border: 1px solid #777777; } pre { - display: block; + display: inline-block; + box-sizing: border-box; + min-width: calc(100% - 19.5px); padding: 9.5px; - margin: 0 10px 10px 10px; + margin: 0 10px 0px 10px; font-size: 14px; line-height: 20px; white-space: pre !important; overflow-y: hidden; - overflow: visible; - overflow-x: auto; + overflow-x: visible; background-color: whitesmoke; border: 1px solid #cccccc; -webkit-border-radius: 4px; @@ -596,7 +597,7 @@ pre code { padding: 0; color: inherit; white-space: pre; - overflow-x: scroll; + overflow-x: visible; background-color: transparent; border: 0; } |