summaryrefslogtreecommitdiffstats
path: root/docs/_layouts/user-guide.html
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2021-04-26 11:14:12 -0700
committerGitHub <noreply@github.com>2021-04-26 11:14:12 -0700
commit27c18d19b3f8d409fbc40af4f311d159d28a1d21 (patch)
treed06f9854777afb65405789ee9c68e206be9a0f01 /docs/_layouts/user-guide.html
parentb5b2cdab8743fd12f95b4ea1054aff2c9235c6c1 (diff)
Fix user-guide layout bug (#1821)
Diffstat (limited to 'docs/_layouts/user-guide.html')
-rw-r--r--docs/_layouts/user-guide.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/_layouts/user-guide.html b/docs/_layouts/user-guide.html
index 33f987140..af48da693 100644
--- a/docs/_layouts/user-guide.html
+++ b/docs/_layouts/user-guide.html
@@ -146,9 +146,9 @@
var rightColumn = document.getElementById("rightColumn");
function updatePosition()
{
- tocColumn.style.left = (rightColumn.getBoundingClientRect().x - tocColumn.getBoundingClientRect().width) + "px";
if (window.innerWidth > 700)
tocColumn.style.display = "";
+ tocColumn.style.left = (rightColumn.getBoundingClientRect().x - tocColumn.getBoundingClientRect().width) + "px";
}
window.addEventListener("resize", updatePosition);
updatePosition();