diff options
Diffstat (limited to 'docs/_static/custom.js')
| -rw-r--r-- | docs/_static/custom.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/_static/custom.js b/docs/_static/custom.js index 95d1539b..b3712f4a 100644 --- a/docs/_static/custom.js +++ b/docs/_static/custom.js @@ -25,7 +25,7 @@ class Modal { } } -class Search { +class SearchBar { constructor() { this.box = document.querySelector('nav.mobile-only'); @@ -50,7 +50,7 @@ class Search { } document.addEventListener('DOMContentLoaded', () => { - mobileSearch = new Search(); + mobileSearch = new SearchBar(); bottomHeightThreshold = document.documentElement.scrollHeight - 30; sections = document.querySelectorAll('section'); |