{% extends "!page.html" %}
{% block extend_js %}
<script type="text/javascript">
var DOCUMENTATION_OPTIONS = {
        URL_ROOT:    './',
        VERSION:     '{{version}}',
        COLLAPSE_INDEX: false,
        FILE_SUFFIX: '{{file_suffix}}',
        HAS_SOURCE:  '{{has_source}}'
};
</script>
<script type="text/javascript" src="{{pathto('_static/jquery.js', 1)}}"></script>
<script type="text/javascript" src="{{pathto('_static/underscore.js', 1)}}"></script>
<script type="text/javascript" src="{{pathto('_static/doctools.js', 1)}}"></script>
<script type="text/javascript" src="{{pathto('_static/searchtools.js', 1)}}"></script>
<script type="text/javascript">
jQuery(function() { Search.loadIndex("{{pathto('searchindex.js', 1)}}"); });
</script>
{% endblock %}
{% block doc_source %}
{% endblock %}
{% block content %}
<div id="search-results">
</div>
{% endblock %}
