1
2
3
4
5
6
7
8
9
|
{%- extends "basic/search.html" %}
{% block extrahead %}
<script type="text/javascript" src="{{ pathto('searchindex.js', 1) }}" defer></script>
<script src="{{ pathto('_static/underscore.js', 1) }}"></script>
<script src="{{ pathto('_static/doctools.js', 1) }}"></script>
<script src="{{ pathto('_static/language_data.js', 1) }}"></script>
<script src="{{ pathto('_static/searchtools.js', 1) }}"></script>
<script src="{{ pathto('_static/sphinx_highlight.js', 1) }}"></script>
{% endblock %}
|
