diff options
Diffstat (limited to 'ref/api/logging.html')
| -rw-r--r-- | ref/api/logging.html | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/ref/api/logging.html b/ref/api/logging.html index 109f3d31..c82fc1bc 100644 --- a/ref/api/logging.html +++ b/ref/api/logging.html @@ -37,6 +37,7 @@ const path_to_root = "../"; const default_light_theme = "light"; const default_dark_theme = "navy"; + window.path_to_searchindex_js = "../searchindex.js"; </script> <!-- Start loading toc.js asap --> <script src="../toc.js"></script> @@ -93,10 +94,13 @@ sidebar = sidebar || 'visible'; } else { sidebar = 'hidden'; + sidebar_toggle.checked = false; + } + if (sidebar === 'visible') { + sidebar_toggle.checked = true; + } else { + html.classList.remove('sidebar-visible'); } - sidebar_toggle.checked = sidebar === 'visible'; - html.classList.remove('sidebar-visible'); - html.classList.add("sidebar-" + sidebar); </script> <nav id="sidebar" class="sidebar" aria-label="Table of contents"> @@ -147,7 +151,12 @@ <div id="search-wrapper" class="hidden"> <form id="searchbar-outer" class="searchbar-outer"> - <input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header"> + <div class="search-wrapper"> + <input type="search" id="searchbar" name="searchbar" placeholder="Search this book ..." aria-controls="searchresults-outer" aria-describedby="searchresults-header"> + <div class="spinner-wrapper"> + <i class="fa fa-spinner fa-spin"></i> + </div> + </div> </form> <div id="searchresults-outer" class="searchresults-outer hidden"> <div id="searchresults-header" class="searchresults-header"></div> @@ -425,6 +434,7 @@ August 2001</li> <script src="../theme/pagetoc.js"></script> + </div> </body> </html> |