diff options
author | Andrey Andreev <narf@devilix.net> | 2017-06-19 10:33:58 +0200 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2017-06-19 10:33:58 +0200 |
commit | 6c7a4266410070d30f8f6bcdf9c9e67f3d6478e3 (patch) | |
tree | f0aab8f6f5e781d5947b1a5553b6648eb7b7a4ab /user_guide_src/source/_themes/sphinx_rtd_theme/searchbox.html | |
parent | 2459285b91d6fc4f5099f9f597529cce1059cb33 (diff) |
[ci skip] 3.1.5 release
Diffstat (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/searchbox.html')
-rw-r--r-- | user_guide_src/source/_themes/sphinx_rtd_theme/searchbox.html | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/searchbox.html b/user_guide_src/source/_themes/sphinx_rtd_theme/searchbox.html deleted file mode 100644 index 35ad52c5f..000000000 --- a/user_guide_src/source/_themes/sphinx_rtd_theme/searchbox.html +++ /dev/null @@ -1,9 +0,0 @@ -{%- if builder != 'singlehtml' %} -<div role="search"> - <form id="rtd-search-form" class="wy-form" action="{{ pathto('search') }}" method="get"> - <input type="text" name="q" placeholder="Search docs" /> - <input type="hidden" name="check_keywords" value="yes" /> - <input type="hidden" name="area" value="default" /> - </form> -</div> -{%- endif %} |