From a4a9290577b3d8d9d45e206c5a238127ff9739de Mon Sep 17 00:00:00 2001 From: pagedown Date: Thu, 9 Dec 2021 14:31:54 +0800 Subject: [PATCH] Docs: fix conflicts caused by smooth scrolling in Chrome --- docs/_static/custom.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_static/custom.js b/docs/_static/custom.js index deea82613..ae833145d 100644 --- a/docs/_static/custom.js +++ b/docs/_static/custom.js @@ -22,7 +22,7 @@ function scroll_sidebar_node_into_view(a) { a = a.offsetParent; if (!a || a == ss) break; } - ss.scrollTop = pos; + ss.scrollTo({top: pos, behavior: 'instant'}); } function mark_current_link(sidebar_tree, a, onload) {