doc/css: add scroll-margin-top to dt elements

add "scroll-margin-top: em3;" to custom.css so that the header bar
doesn't obscure the text of headwords in glossary.rst. Note that this
applies only to elements in the documentation that are rendered into
HTML with the dt (which stands for "description term" or "description
list") tag. Other modifications will be necessary in order to ensure
that the anchor points of non-dt elements are not obscured by the header
bar.

Signed-off-by: Zac Dover <zac.dover@gmail.com>
(cherry picked from commit 1865de86622592555571c1539f3c013c7936d53e)

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