diff options
Diffstat (limited to 'config/nimdoc.cfg')
-rw-r--r-- | config/nimdoc.cfg | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index e036c3b9a..23151b275 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -86,6 +86,9 @@ $moduledesc $content """ +doc.listing_start = "<pre class = \"listing\">" +doc.listing_end = "</pre>" + # * $analytics: Google analytics location, includes <script> tags doc.file = """<?xml version="1.0" encoding="utf-8" ?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" @@ -142,7 +145,7 @@ body { font-weight: 400; font-size: 14px; line-height: 20px; - color: #2d2d2d; + color: #666; background-color: rgba(252, 248, 244, 0.75); } /* Skeleton grid */ @@ -578,7 +581,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 +984,10 @@ div.align-right { /* div.align-center * { */ /* text-align: left } */ + +ul.simple > li { + margin-bottom: 0.5em } + ol.simple, ul.simple { margin-bottom: 1em; } |