Function toggleTocMenu

codeclash/viewer/static/js/app.js:344–362

()

}

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

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

    if (isMobile) {
      // On mobile, use 'visible' class to override default hidden state
      tocMenu.classList.toggle("visible");
      tocMenu.classList.toggle("hidden");
    } else {
      // On desktop, use 'hidden' class
      tocMenu.classList.toggle("hidden");
    }

    updateTocVisibility();
  }
}

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