From 8c6c065d96c447022e3ce9c69c7661ea02b11c62 Mon Sep 17 00:00:00 2001
From: Emmanuel Florent <emmanuel@pycom.io>
Date: Thu, 11 Jul 2019 13:28:46 +0200
Subject: [PATCH] doc-theme.css: fix scrolltop border effect

---
 themes/doc-theme/static/css/doc-theme.css | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/themes/doc-theme/static/css/doc-theme.css b/themes/doc-theme/static/css/doc-theme.css
index bf06346..5e7581e 100644
--- a/themes/doc-theme/static/css/doc-theme.css
+++ b/themes/doc-theme/static/css/doc-theme.css
@@ -337,10 +337,6 @@ p {
 
 
 /** this gives correct offset when link to anchors */
-*[id]:before {
-  display: block;
-  content: " ";
-  margin-top: -75px;
-  height: 75px;
-  visibility: hidden;
+html {
+  scroll-padding-top: 70px; /* height of sticky header */
 }