diff --git a/sphinx_rtd_theme/searchbox.html b/sphinx_rtd_theme/searchbox.html index 24418d32..35ad52c5 100644 --- a/sphinx_rtd_theme/searchbox.html +++ b/sphinx_rtd_theme/searchbox.html @@ -1,7 +1,9 @@ +{%- if builder != 'singlehtml' %}