From be71fda559605ddf91c071431981f8e1f4d57598 Mon Sep 17 00:00:00 2001
From: bep <bjorn.erik.pedersen@gmail.com>
Date: Fri, 22 May 2015 20:18:34 +0200
Subject: [PATCH] docs: avoid navbar hiding when jumping to in-page anchor

---
 docs/static/css/style.css | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/docs/static/css/style.css b/docs/static/css/style.css
index 66bb45b7e..89f4f1ecd 100755
--- 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;
 }