litex/doc/source/_themes/enjoydigital_sphinx_rtd_theme/searchbox.html

8 lines
308 B
HTML
Raw Normal View History

2015-01-27 15:08:24 -05:00
<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>