doc/nlopt-mkdocs-theme/search.html

   1 {% extends "base.html" %}
   2
   3 {% block extrahead %}
   4   <script>var base_url = '{{ base_url }}';</script>
   5   <script data-main="{{ base_url }}/mkdocs/js/search.js" src="{{ base_url }}/mkdocs/js/require.js"></script>
   6 {% endblock %}
   7
   8 {% block content %}
   9
  10   <h1 id="search">Search Results</h1>
  11
  12   <form id="content_search" action="search.html">
  13     <span role="status" aria-live="polite" class="ui-helper-hidden-accessible"></span>
  14     <input name="q" id="mkdocs-search-query" type="text" class="search_input search-query ui-autocomplete-input" placeholder="Search the Docs" autocomplete="off" autofocus>
  15   </form>
  16
  17   <div id="mkdocs-search-results">
  18     Sorry, page not found.
  19   </div>
  20
  21 {% endblock %}