Search function no longer hangs

Apply changes from sphinx-doc/sphinx#6394 so that pages have `role="main"` marker that search looks for. Fixes #28.
nengo · Aug 2, 2019 · d14afa8 · d14afa8
1 parent cf927b8
commit d14afa8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nengo_sphinx_theme/theme/layout.html b/nengo_sphinx_theme/theme/layout.html
@@ -68,7 +68,7 @@
       <div class="col-12 col-md-8 col-xl-9">
         <div class="container">
           <div class="row">
-            <div class="col-10 offset-1 pb-5 documentation-source">
+            <div class="col-10 offset-1 pb-5 documentation-source" role="main">
               {% block body %} {% endblock %}
             </div>
           </div>