From 1673e2f51a8bb583d387705736f99e790d2a73ae Mon Sep 17 00:00:00 2001 From: Santos Gallegos Date: Thu, 3 Dec 2020 17:25:10 -0500 Subject: [PATCH] Match searchbox from upstream This has been since 1.x https://github.com/sphinx-doc/sphinx/blob/v1.5/sphinx/themes/basic/searchbox.html The latest version includes some nice things like js enabled detection and aria labels :) --- sphinx_rtd_theme/searchbox.html | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 sphinx_rtd_theme/searchbox.html diff --git a/sphinx_rtd_theme/searchbox.html b/sphinx_rtd_theme/searchbox.html deleted file mode 100644 index bc3ee5f0d..000000000 --- a/sphinx_rtd_theme/searchbox.html +++ /dev/null @@ -1,9 +0,0 @@ -{%- if 'singlehtml' not in builder %} -
-
- - - -
-
-{%- endif %}