summary refs log tree commit diff stats
path: root/config/nimdoc.cfg
diff options
context:
space:
mode:
Diffstat (limited to 'config/nimdoc.cfg')
-rw-r--r--config/nimdoc.cfg6
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; }