- add some more height here so that anchors come out

diff --git a/doc/build/static/docs.css b/doc/build/static/docs.css
index 3bb77acc413c7e84b1328001ac08316919dca970..99858b42996f816e3f4241317514a6df78eaf598 100644 (file)
--- a/doc/build/static/docs.css
+++ b/doc/build/static/docs.css
@@ -214,8 +214,8 @@ a.headerlink:hover {
 #docs-container.preautomated div.section:before {
     content: " ";
     display: block;
-    height:100px;
-    margin-top: -100px;
+    height:120px;
+    margin-top: -120px;
     visibility: hidden;
 }