diff options
Diffstat (limited to 'guide/interpreter.html')
| -rw-r--r-- | guide/interpreter.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/guide/interpreter.html b/guide/interpreter.html index 067ce79..36d9768 100644 --- a/guide/interpreter.html +++ b/guide/interpreter.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" /> @@ -335,7 +335,7 @@ syntax than native asyncio code.</p> </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"> @@ -343,7 +343,7 @@ syntax than native asyncio code.</p> <input type="submit" value="Go" /> </form> </div> -</div> +</search> <script>document.getElementById('searchbox').style.display = "block"</script> @@ -361,7 +361,7 @@ syntax than native asyncio code.</p> ©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> | |