diff options
Diffstat (limited to 'search.html')
| -rw-r--r-- | search.html | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/search.html b/search.html index 973fdaf..6bc9047 100644 --- a/search.html +++ b/search.html | |||
| @@ -43,13 +43,14 @@ | |||
| 43 | 43 | ||
| 44 | </head> | 44 | </head> |
| 45 | <body> | 45 | <body> |
| 46 | |||
| 46 | 47 | ||
| 47 | 48 | ||
| 48 | <div class="document"> | 49 | <div class="document"> |
| 49 | <div class="documentwrapper"> | 50 | <div class="documentwrapper"> |
| 50 | <div class="bodywrapper"> | 51 | <div class="bodywrapper"> |
| 51 | <div class="body" role="main"> | 52 | <div class="body" role="main"> |
| 52 | 53 | ||
| 53 | <h1 id="search-documentation">Search</h1> | 54 | <h1 id="search-documentation">Search</h1> |
| 54 | <div id="fallback" class="admonition warning"> | 55 | <div id="fallback" class="admonition warning"> |
| 55 | <script type="text/javascript">$('#fallback').hide();</script> | 56 | <script type="text/javascript">$('#fallback').hide();</script> |
| @@ -74,9 +75,12 @@ | |||
| 74 | 75 | ||
| 75 | </div> | 76 | </div> |
| 76 | 77 | ||
| 77 | </div> | 78 | <div class="just-comments" data-allowguests="true" data-apikey="4bb18080-e236-4513-bd72-3a032f35d3bb"> |
| 79 | </div> | ||
| 80 | <script async src="https://just-comments.com/w.js"></script> | ||
| 81 | </div> | ||
| 78 | </div> | 82 | </div> |
| 79 | </div> | 83 | </div> |
| 80 | <div class="sphinxsidebar" role="navigation" aria-label="main navigation"> | 84 | <div class="sphinxsidebar" role="navigation" aria-label="main navigation"> |
| 81 | <div class="sphinxsidebarwrapper"> | 85 | <div class="sphinxsidebarwrapper"> |
| 82 | <p class="logo"> | 86 | <p class="logo"> |