Commit | Line | Data |
---|---|---|
4f5f37d9 PP |
1 | {%- if builder != 'singlehtml' %} |
2 | <div role="search"> | |
3 | <form id="rtd-search-form" class="wy-form" action="{{ pathto('search') }}" method="get"> | |
280a121c | 4 | <input type="text" name="q" placeholder="{{ _('Search docs') }}" /> |
4f5f37d9 PP |
5 | <input type="hidden" name="check_keywords" value="yes" /> |
6 | <input type="hidden" name="area" value="default" /> | |
7 | </form> | |
8 | </div> | |
9 | {%- endif %} |