diff options
Diffstat (limited to '_exts/taler_sphinx_theme/guzzle_sphinx_theme/searchbox.html')
| -rw-r--r-- | _exts/taler_sphinx_theme/guzzle_sphinx_theme/searchbox.html | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/_exts/taler_sphinx_theme/guzzle_sphinx_theme/searchbox.html b/_exts/taler_sphinx_theme/guzzle_sphinx_theme/searchbox.html deleted file mode 100644 index 7f574c3f..00000000 --- a/_exts/taler_sphinx_theme/guzzle_sphinx_theme/searchbox.html +++ /dev/null @@ -1,15 +0,0 @@ -{%- if pagename != "search" %} -<div class="sidebar-block"> - <div class="sidebar-wrapper"> - <div id="main-search"> - <form class="form-inline" action="{{ pathto('search') }}" method="GET" role="form"> - <div class="input-group"> - <input name="q" type="text" class="form-control" placeholder="Search..."> - </div> - <input type="hidden" name="check_keywords" value="yes" /> - <input type="hidden" name="area" value="default" /> - </form> - </div> - </div> -</div> -{%- endif %} |