109       };

   109       };

   110     </script>

   110     </script>

   111     <script type="text/javascript" src="{{ pathto('_static/jquery.js', 1) }}"></script>

   111     <script type="text/javascript" src="{{ pathto('_static/jquery.js', 1) }}"></script>

   112     <script type="text/javascript" src="{{ pathto('_static/interface.js', 1) }}"></script>

   112     <script type="text/javascript" src="{{ pathto('_static/interface.js', 1) }}"></script>

   113     <script type="text/javascript" src="{{ pathto('_static/doctools.js', 1) }}"></script>

   113     <script type="text/javascript" src="{{ pathto('_static/doctools.js', 1) }}"></script>

   114     {%- if use_opensearch %}

   115     {%- if use_opensearch %}

   115     <link rel="search" type="application/opensearchdescription+xml"

   116     <link rel="search" type="application/opensearchdescription+xml"

   116           title="Search within {{ docstitle }}"

   117           title="Search within {{ docstitle }}"

   117           href="{{ pathto('_static/opensearch.xml', 1) }}"/>

   118           href="{{ pathto('_static/opensearch.xml', 1) }}"/>

   118     {%- endif %}

   119     {%- endif %}