Doc/tools/templates/search.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

{% extends "!search.html" %}
{% block extrahead %}
    {{ super() }}
    <meta name="robots" content="noindex">
    <script type="text/javascript" src="{{ pathto('_static/glossary_search.js', resource=True) }}"></script>
{% endblock %}
{% block searchresults %}
<div id="search-results">
  {# For glossary_search.js #}
  <div style="display: none;" class="admonition seealso" id="glossary-result">
    <p class="topic-title">
    <a id="glossary-title" href="#"></a>
    </p>
  <div id="glossary-body"></div>
</div>
</div>
{% endblock %}