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; } }