author | weiher |
Mon, 05 Feb 2018 16:51:33 +0100 | |
changeset 11 | ccfe3c7fa0d2 |
parent 0 | bc83cf45066d |
permissions | -rw-r--r-- |
0 | 1 |
{%- if builder != 'singlehtml' %} |
2 |
<div role="search"> |
|
3 |
<form id="rtd-search-form" class="wy-form" action="{{ pathto('search') }}" method="get"> |
|
4 |
<input type="text" name="q" placeholder="{{ _('Search docs') }}" /> |
|
5 |
<input type="hidden" name="check_keywords" value="yes" /> |
|
6 |
<input type="hidden" name="area" value="default" /> |
|
7 |
</form> |
|
8 |
</div> |
|
9 |
{%- endif %} |