diff options
| author | gdamore <gdamore@users.noreply.github.com> | 2025-07-28 21:27:00 +0000 |
|---|---|---|
| committer | gdamore <gdamore@users.noreply.github.com> | 2025-07-28 21:27:00 +0000 |
| commit | 9dec69104d2a1ec9c06d0953b020ac52e0331425 (patch) | |
| tree | e09d7629c0602be68a0426e69b055ad99fb1b4a1 /ref/copyright.html | |
| parent | e4d202a4eb2bb32127029b6db15e7b90f20ac1a3 (diff) | |
| download | nng-9dec69104d2a1ec9c06d0953b020ac52e0331425.tar.gz nng-9dec69104d2a1ec9c06d0953b020ac52e0331425.tar.bz2 nng-9dec69104d2a1ec9c06d0953b020ac52e0331425.zip | |
deploy: cdcf4934610a2673727b4efad93b82191c3379eb
Diffstat (limited to 'ref/copyright.html')
| -rw-r--r-- | ref/copyright.html | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/ref/copyright.html b/ref/copyright.html index b8c0c1e1..f03c8b52 100644 --- a/ref/copyright.html +++ b/ref/copyright.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> @@ -336,6 +345,7 @@ IN THE SOFTWARE.</p> <script src="theme/pagetoc.js"></script> + </div> </body> </html> |