1{% extends "!search.html" %} 2{% block extrahead %} 3 {{ super() }} 4 <meta name="robots" content="noindex"> 5 <script type="text/javascript" src="{{ pathto('_static/glossary_search.js', resource=True) }}"></script> 6{% endblock %} 7{% block searchresults %} 8<div id="search-results"> 9 {# For glossary_search.js #} 10 <div style="display: none;" class="admonition seealso" id="glossary-result"> 11 <p class="topic-title"> 12 <a id="glossary-title" href="#"></a> 13 </p> 14 <div id="glossary-body"></div> 15</div> 16</div> 17{% endblock %} 18