diff --git a/static/scripts/docs.js b/static/scripts/docs.js index 14153cd98c..d980bde467 100644 --- a/static/scripts/docs.js +++ b/static/scripts/docs.js @@ -632,8 +632,8 @@ document.addEventListener("DOMContentLoaded", ()=>{ setUpAccordeon(n); const t = document.querySelector("#page-overview > ul"); t && setUpOnPageNavigation(t), - // setUpCollapsingSidebar(document.querySelector("nav.folding")), - alertClose(document.querySelector("button.close")); + setUpCollapsingSidebar(document.querySelector("nav.folding")); + //alertClose(document.querySelector("button.close")); for (const n of document.querySelectorAll("div.tooltip-context")) setUpTooltip(n); const e = document.querySelector(".page-end-buttons a.previous")