Function closeTocMenu

codeclash/viewer/static/js/app.js:364–378

()

}

function closeTocMenu() {
  const tocMenu = document.getElementById("toc-menu");
  const tocToggle = document.getElementById("toc-toggle");

  if (tocMenu && tocToggle) {
    const isMobile = window.innerWidth <= 768;

    tocMenu.classList.add("hidden");
    if (isMobile) {
      tocMenu.classList.remove("visible");
    }

    updateTocVisibility();
  }
}

function updateTocVisibility() {
  const tocMenu = document.getElementById("toc-menu");