docs: avoid navbar hiding when jumping to in-page anchor

diff --git a/docs/static/css/style.css b/docs/static/css/style.css
index 66bb45b7ec04005a4700a3f60bc0b72c898c5309..89f4f1ecd825c0dee16dfbb963f39cf50f57b3d0 100755 (executable)
--- a/docs/static/css/style.css
+++ b/docs/static/css/style.css
@@ -109,6 +109,15 @@ h1,h2,h3,h4,h5{
     font-weight: 400;
 }
 
+
+h1[id]:before, h2[id]:before, h3[id]:before, h4[id]:before, h5[id]:before {
+    display: block;
+    content: " ";
+    margin-top: -75px;
+    height: 75px;
+    visibility: hidden;
+}
+
 label{
     font-weight: 300;
 }