searchbox.html
d7c6f57fe4d8lammm-master-deprecated

searchbox.html
View Options

			{%- if builder != 'singlehtml' %}
			<div role="search">
			<form id="rtd-search-form" class="wy-form" action="{{ pathto('search') }}" method="get">
			<input type="text" name="q" placeholder="Search docs" />
			<input type="hidden" name="check_keywords" value="yes" />
			<input type="hidden" name="area" value="default" />
			</form>
			</div>
			{%- endif %}