From 956d57a9ddcfcb41b7c41247d32cdc0aa5f9823b Mon Sep 17 00:00:00 2001 From: Christine Dodrill Date: Mon, 17 Aug 2015 15:01:47 -0700 Subject: [PATCH] update nim docs --- public/static/nim.html | 72 +++++++++++++++++++++++++----------------- 1 file changed, 43 insertions(+), 29 deletions(-) diff --git a/public/static/nim.html b/public/static/nim.html index b3aaee9..5af07a5 100644 --- a/public/static/nim.html +++ b/public/static/nim.html @@ -489,7 +489,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; @@ -892,6 +892,10 @@ div.align-right { /* div.align-center * { */ /* text-align: left } */ + +ul.simple > li { + margin-bottom: 0.5em } + ol.simple, ul.simple { margin-bottom: 1em; } @@ -1160,11 +1164,11 @@ dt pre > span.Operator ~ span.Identifier, dt pre > span.Operator ~ span.Operator @@ -1173,6 +1177,8 @@ dt pre > span.Operator ~ span.Identifier, dt pre > span.Operator ~ span.Operator