diff options
Diffstat (limited to 'doc/_static')
-rw-r--r-- | doc/_static/css/custom.css | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/doc/_static/css/custom.css b/doc/_static/css/custom.css new file mode 100644 index 000000000..2a37cab99 --- /dev/null +++ b/doc/_static/css/custom.css @@ -0,0 +1,28 @@ +dt { + scroll-margin-top: 3em; +} + +h2 { + scroll-margin-top: 4em; +} + +h3 { + scroll-margin-top: 4em; +} + +section { + scroll-margin-top: 4em; +} + +span { + scroll-margin-top: 2em; +} + +ul.simple > li > ul > li:last-child { + margin-block-end : 1em; +} + +div.section > ul > li > p { + margin-block-start : 0.6em; + margin-block-end : 0.6em; +} |