diff --git a/sphinx/themes/basic/searchbox.html b/sphinx/themes/basic/searchbox.html index e0045b4de26..d4809f63d36 100644 --- a/sphinx/themes/basic/searchbox.html +++ b/sphinx/themes/basic/searchbox.html @@ -1,6 +1,6 @@ {# Sphinx sidebar template: quick search box. #} {%- if pagename != "search" and builder != "singlehtml" %} -