Fix search function hanging

Fixed by applying the changes from sphinx-doc/sphinx#6394. Specifically, the main div now has the `role="main" attribute. Fixes #28.
nengo · Aug 5, 2019 · 107e90f · 107e90f
1 parent fa7b7c4
commit 107e90f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/CHANGES.rst b/CHANGES.rst
@@ -22,7 +22,11 @@ Release History
 1.0.2 (unreleased)
 ==================
 
+**Fixed**
 
+- Fixed the search box, which was hanging for many search terms.
+  (`#28 <https://github.com/nengo/nengo-sphinx-theme/issues/28>`__,
+  `#39 <https://github.com/nengo/nengo-sphinx-theme/pull/39>`__)
 
 1.0.1 (July 16, 2019)
 =====================

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>