diff options
Diffstat (limited to 'docs/_static')
| -rw-r--r-- | docs/_static/custom.js | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/docs/_static/custom.js b/docs/_static/custom.js index b3712f4a..1274b405 100644 --- a/docs/_static/custom.js +++ b/docs/_static/custom.js @@ -56,16 +56,18 @@ document.addEventListener('DOMContentLoaded', () => { sections = document.querySelectorAll('section'); hamburgerToggle = document.getElementById('hamburger-toggle'); - hamburgerToggle.addEventListener('click', (e) => { - sidebar.element.classList.toggle('sidebar-toggle'); - let button = hamburgerToggle.firstElementChild; - if (button.textContent == 'menu') { - button.textContent = 'close'; - } - else { - button.textContent = 'menu'; - } - }); + if (hamburgerToggle) { + hamburgerToggle.addEventListener('click', (e) => { + sidebar.element.classList.toggle('sidebar-toggle'); + let button = hamburgerToggle.firstElementChild; + if (button.textContent == 'menu') { + button.textContent = 'close'; + } + else { + button.textContent = 'menu'; + } + }); + } const tables = document.querySelectorAll('.py-attribute-table[data-move-to-id]'); tables.forEach(table => { |