summaryrefslogtreecommitdiffstats
path: root/doc/_static/css/custom.css
diff options
context:
space:
mode:
Diffstat (limited to 'doc/_static/css/custom.css')
-rw-r--r--doc/_static/css/custom.css28
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;
+}