custom theme no longer works?

[nlopt.git] / doc / nlopt-mkdocs-theme / searchbox.html

<div role="search">
  <form id ="rtd-search-form" class="wy-form" action="{{ base_url }}/search.html" method="get">
    <input type="text" name="q" placeholder="Search docs" />
  </form>
</div>