diff options
Diffstat (limited to 'ref/tran/ipc.html')
| -rw-r--r-- | ref/tran/ipc.html | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/ref/tran/ipc.html b/ref/tran/ipc.html index e6bec642..327af1c3 100644 --- a/ref/tran/ipc.html +++ b/ref/tran/ipc.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> @@ -385,6 +394,7 @@ prevent unauthorized access, or that checks against the peer credentials are mad <script src="../theme/pagetoc.js"></script> + </div> </body> </html> |