diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/nimdoc.cfg | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index e036c3b9a..57d4cc988 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -578,7 +578,7 @@ pre { box-sizing: border-box; min-width: calc(100% - 19.5px); padding: 9.5px; - margin: 0 10px 0px 10px; + margin: 0.25em 10px 0.25em 10px; font-size: 14px; line-height: 20px; white-space: pre !important; @@ -981,6 +981,10 @@ div.align-right { /* div.align-center * { */ /* text-align: left } */ + +ul.simple > li { + margin-bottom: 0.5em } + ol.simple, ul.simple { margin-bottom: 1em; } |