()
| 378 | } |
| 379 | |
| 380 | function updateTocVisibility() { |
| 381 | const tocMenu = document.getElementById("toc-menu"); |
| 382 | const tocToggle = document.getElementById("toc-toggle"); |
| 383 | |
| 384 | if (!tocMenu || !tocToggle) return; |
| 385 | |
| 386 | const isMenuHidden = tocMenu.classList.contains("hidden"); |
| 387 | |
| 388 | // Show toggle button when menu is hidden, hide it when menu is shown |
| 389 | if (isMenuHidden) { |
| 390 | tocToggle.classList.remove("hidden"); |
| 391 | } else { |
| 392 | tocToggle.classList.add("hidden"); |
| 393 | } |
| 394 | } |
| 395 | |
| 396 | // Log loading functionality |
| 397 | function loadLogContent(logPath, container) { |
no outgoing calls
no test coverage detected