From 4daecd3158bfacbe89e7297396f94922bac84bbf Mon Sep 17 00:00:00 2001
From: Wei He <git@weispot.com>
Date: Sun, 22 Dec 2019 03:35:26 -0500
Subject: [PATCH] docs: fix in-page anchor navigation positioning

---
 docs/static/css/custom.css | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/docs/static/css/custom.css b/docs/static/css/custom.css
index af55c8072..4f9a05734 100644
--- a/docs/static/css/custom.css
+++ b/docs/static/css/custom.css
@@ -43,7 +43,11 @@ h3:hover .header-link,
 h4:hover .header-link,
 h5:hover .header-link,
 h6:hover .header-link {
-  opacity: 1;
+  	opacity: 1;
+}
+h2, h3, h4, h5, h6 {
+	padding-top: 55px;
+	margin-top: -44px;
 }
 
 /* Fix spacing between menu items */