From 4f7157cdd56dee299795f3c40449c8ce921dfccb Mon Sep 17 00:00:00 2001
From: Emmanuel Florent <emmanuel@pycom.io>
Date: Mon, 8 Jul 2019 16:26:28 +0200
Subject: [PATCH] doc-theme.css: fix scroll to anchor

---
 themes/doc-theme/static/css/doc-theme.css | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/themes/doc-theme/static/css/doc-theme.css b/themes/doc-theme/static/css/doc-theme.css
index 58684f9..bf06346 100644
--- a/themes/doc-theme/static/css/doc-theme.css
+++ b/themes/doc-theme/static/css/doc-theme.css
@@ -334,3 +334,13 @@ code {
 p {
   font-family: 'Space Mono';
 }
+
+
+/** this gives correct offset when link to anchors */
+*[id]:before {
+  display: block;
+  content: " ";
+  margin-top: -75px;
+  height: 75px;
+  visibility: hidden;
+}