ref: be71fda559605ddf91c071431981f8e1f4d57598
parent: 0d65ca27fd2c3370c83e5e243bf4c0879aefd920
author: bep <[email protected]>
date: Fri May 22 16:18:34 EDT 2015
docs: avoid navbar hiding when jumping to in-page anchor
--- a/docs/static/css/style.css
+++ b/docs/static/css/style.css
@@ -109,6 +109,15 @@
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;
}