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 %}
|