diff options
| author | Tobias Bieniek <Tobias.Bieniek@gmx.de> | 2013-12-12 18:49:44 +0100 |
|---|---|---|
| committer | Tobias Bieniek <Tobias.Bieniek@gmx.de> | 2013-12-12 18:49:44 +0100 |
| commit | 555999397be38cc90fe16eb9821dcb3768963fc3 (patch) | |
| tree | 61a75a549026741b44446c74504f6e9694cf2677 /doc/en/_templates | |
| parent | 25a45f6bf7993b7aa9debe5f6c3eb7a1530d7b23 (diff) | |
| download | pytest-555999397be38cc90fe16eb9821dcb3768963fc3.tar.gz | |
doc: Moved searchbox into searchbox.html file
Diffstat (limited to 'doc/en/_templates')
| -rw-r--r-- | doc/en/_templates/localtoc.html | 13 | ||||
| -rw-r--r-- | doc/en/_templates/searchbox.html | 11 |
2 files changed, 11 insertions, 13 deletions
diff --git a/doc/en/_templates/localtoc.html b/doc/en/_templates/localtoc.html index 25d56cad0..83af3aa88 100644 --- a/doc/en/_templates/localtoc.html +++ b/doc/en/_templates/localtoc.html @@ -1,16 +1,3 @@ - -{%- if pagename != "search" %} -<div id="searchbox" style="display: none"> - <form class="search" action="{{ pathto('search') }}" method="get"> - <input type="text" name="q" size="18" /> - <input type="submit" value="{{ _('Search') }}" /> - <input type="hidden" name="check_keywords" value="yes" /> - <input type="hidden" name="area" value="default" /> - </form> -</div> -<script type="text/javascript">$('#searchbox').show(0);</script> -{%- endif %} - <h3>quicklinks</h3> <div style="text-align: left; font-size: 100%; vertical-align: middle;"> <table> diff --git a/doc/en/_templates/searchbox.html b/doc/en/_templates/searchbox.html index e69de29bb..4fd92f369 100644 --- a/doc/en/_templates/searchbox.html +++ b/doc/en/_templates/searchbox.html @@ -0,0 +1,11 @@ +{%- if pagename != "search" %} +<div id="searchbox" style="display: none"> + <form class="search" action="{{ pathto('search') }}" method="get"> + <input type="text" name="q" size="18" /> + <input type="submit" value="{{ _('Search') }}" /> + <input type="hidden" name="check_keywords" value="yes" /> + <input type="hidden" name="area" value="default" /> + </form> +</div> +<script type="text/javascript">$('#searchbox').show(0);</script> +{%- endif %} |