diff options
Diffstat (limited to 'ref/print.html')
| -rw-r--r-- | ref/print.html | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/ref/print.html b/ref/print.html index 9c906410..d7547fed 100644 --- a/ref/print.html +++ b/ref/print.html @@ -38,6 +38,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> @@ -94,10 +95,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"> @@ -148,7 +152,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> @@ -1068,7 +1077,7 @@ strcpy(nng_msg_body(m), "content"); <pre><code class="language-c">if (nng_msg_alloc(&m, 1024) != 0) { // handle error } -while ((val64 = next_datum()) != 0) P +while ((val64 = next_datum()) != 0) { if (nng_msg_append_u64(m, val64) != 0) { // handle error } @@ -8774,6 +8783,7 @@ voting, <a href="proto/surveyor.html#a004">1</a><br/></p> }); </script> + </div> </body> </html> |