From 2c4958e462ff8c99838ba3f22bac13d9ca0867c0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Fournier?= <clement.fournier76@gmail.com>
Date: Fri, 29 Jun 2018 22:33:45 +0200
Subject: [PATCH] Fix toc links

(cherry picked from commit 40f0c4d59b8da2064d185c09fe1423cb1cd87895)
---
 docs/_includes/toc.html   | 9 ---------
 docs/css/customstyles.css | 4 ++--
 2 files changed, 2 insertions(+), 11 deletions(-)

diff --git a/docs/_includes/toc.html b/docs/_includes/toc.html
index 067141a6ac..e573d982fe 100644
--- a/docs/_includes/toc.html
+++ b/docs/_includes/toc.html
@@ -6,15 +6,6 @@ $( document ).ready(function() {
 
 $('#toc').toc({ minimumHeaders: 0, listType: 'ul', showSpeed: 0, headers: 'h2,h3,h4' });
 
-/* this offset helps account for the space taken up by the floating toolbar. */
-$('#toc').on('click', 'a', function() {
-  var target = $(this.getAttribute('href'))
-    , scroll_target = target.offset().top
-
-  $(window).scrollTop(scroll_target - 10);
-  return false
-})
-  
 });
 </script>
 
diff --git a/docs/css/customstyles.css b/docs/css/customstyles.css
index 452b23bf12..d505dbd8de 100644
--- a/docs/css/customstyles.css
+++ b/docs/css/customstyles.css
@@ -79,8 +79,8 @@ h4[id],
 h5[id],
 h6[id],
 dt[id]{
-padding-top: 60px;
-margin-top: -40px
+padding-top: 20px;
+margin-top: 0px
 }
 
 body h1 {margin-top:40px;}