diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/nimdoc.css | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/nimdoc.css b/doc/nimdoc.css index c7523bddb..b3595d891 100644 --- a/doc/nimdoc.css +++ b/doc/nimdoc.css @@ -497,6 +497,19 @@ hr { border: 0; border-top: 1px solid #aaa; } +hr.footnote { + width: 25%; + border-top: 0.15em solid #999; + margin-bottom: 0.15em; + margin-top: 0.15em; +} +div.footnote-group { + margin-left: 1em; } +div.footnote-label { + display: inline-block; + min-width: 1.7em; +} + blockquote { font-size: 0.9em; font-style: italic; |