From 9e5f3abb4bbbe00eee4612c0a0ce352f50e8ba03 Mon Sep 17 00:00:00 2001
From: Le Tan <tamlokveer@gmail.com>
Date: Mon, 1 Jan 2018 12:22:38 +0800
Subject: [PATCH] bug-fix: add some margin for jumping title

---
 src/resources/markdown_template.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/resources/markdown_template.js b/src/resources/markdown_template.js
index 4c3dbf50..4360fd91 100644
--- a/src/resources/markdown_template.js
+++ b/src/resources/markdown_template.js
@@ -781,8 +781,8 @@ var jumpTitle = function(forward, relativeLevel, repeat) {
         if (targetLevel == -1 || level == targetLevel) {
             if (targetIdx == currentHeaderIdx) {
                 // If current header is visible, skip it.
-                content.setLog("scroll " + scrollTop + " " + headers[targetIdx].offsetTop);
-                if (forward || scrollTop <= headers[targetIdx].offsetTop) {
+                // Minus 2 to tolerate some margin.
+                if (forward || scrollTop  - 2 <= headers[targetIdx].offsetTop) {
                     continue;
                 }
             }