diff options
Diffstat (limited to 'guide/index.html')
-rw-r--r-- | guide/index.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/guide/index.html b/guide/index.html index 672c640..4c0d97d 100644 --- a/guide/index.html +++ b/guide/index.html @@ -9,7 +9,7 @@ <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=d1102ebc" /> <link rel="stylesheet" type="text/css" href="_static/alabaster.css?v=12dfc556" /> <script src="_static/documentation_options.js?v=5929fcd5"></script> - <script src="_static/doctools.js?v=888ff710"></script> + <script src="_static/doctools.js?v=9a2dae69"></script> <script src="_static/sphinx_highlight.js?v=dc90522c"></script> <link rel="index" title="Index" href="genindex.html" /> <link rel="search" title="Search" href="search.html" /> @@ -292,7 +292,7 @@ </ul></li> </ul> </div> -<div id="searchbox" style="display: none" role="search"> +<search id="searchbox" style="display: none" role="search"> <h3 id="searchlabel">Quick search</h3> <div class="searchformwrapper"> <form class="search" action="search.html" method="get"> @@ -300,7 +300,7 @@ <input type="submit" value="Go" /> </form> </div> -</div> +</search> <script>document.getElementById('searchbox').style.display = "block"</script> @@ -318,7 +318,7 @@ ©2020, Michał Górny, license: CC BY 4.0. | - Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.2.6</a> + Powered by <a href="https://www.sphinx-doc.org/">Sphinx 7.3.7</a> & <a href="https://alabaster.readthedocs.io">Alabaster 0.7.16</a> | |