doc/_static: add scroll-margin-top to custom.css

Add 4em of padding to the class "section", so that linked-to
destinations are not obscured by the top bar.

Signed-off-by: Zac Dover <zac.dover@gmail.com>

diff --git a/doc/_static/css/custom.css b/doc/_static/css/custom.css
index f222ab8acc6014bc2f06de08acc14647d9df4bd5..a4778ffa971dddb84cef3700dc25e283cf732a0d 100644 (file)
--- a/doc/_static/css/custom.css
+++ b/doc/_static/css/custom.css
@@ -2,6 +2,10 @@ dt {
     scroll-margin-top: 3em; 
 }
 
+section {
+    scroll-margin-top: 4em; 
+}
+
 ul.simple > li > ul > li:last-child {
     margin-block-end : 1em;
 }