diff options
Diffstat (limited to 'docs/static')
| -rw-r--r-- | docs/static/custom.css | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/docs/static/custom.css b/docs/static/custom.css new file mode 100644 index 0000000..dc6a004 --- /dev/null +++ b/docs/static/custom.css @@ -0,0 +1,22 @@ + +body > div > nav > div > div.wy-side-nav-search > div.version { + margin-bottom: 0px; +} + +dl { + padding: 5px; +} + +blockquote { + border-left: none; + font-style: normal; + padding: 0 0 0.5rem 0; + margin-block-start: 0.5em; + margin-block-end: 0.5em; + background: transparent; +} + +ol, ul { + margin-top: 0.5rem; + margin-bottom: 0.5rem; +} |
