From b8513b5122b52a3f2c3425fdf82403e8b252131b Mon Sep 17 00:00:00 2001 From: Morten Brekkevold Date: Fri, 25 Mar 2022 10:00:26 +0100 Subject: [PATCH] Fix broken doc searching in built-in template Analogue to changes made in the Read The Docs theme in readthedocs/sphinx_rtd_theme#1021 --- doc/templates/bootstrap/search.html | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/templates/bootstrap/search.html b/doc/templates/bootstrap/search.html index 60a6601b88..9cc6b83650 100644 --- a/doc/templates/bootstrap/search.html +++ b/doc/templates/bootstrap/search.html @@ -11,6 +11,7 @@ {% set title = _('Search') %} {% block extrahead %} + {# this is used when loading the search index using $.ajax fails, such as on Chrome for documents on localhost #}