give some more space on that janky docs navbar fix

diff --git a/assets/css/docs.css b/assets/css/docs.css
index ef35d29c2f38fe4e0a3a914e5649c39f04c3271e..01f920f9546bff461e4867f3f34f6e25290d71ee 100644 (file)
--- a/assets/css/docs.css
+++ b/assets/css/docs.css
@@ -501,7 +501,7 @@ h1[id],
 h2[id],
 h3[id] {
   padding-top: 80px;
-  margin-top: -80px;
+  margin-top: -70px;
 }