searchbox.html 354 B

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