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