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"> | |
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 %} |