q-doc/_themes/sphinx_rtd_theme/search.html
author weiher
Mon, 05 Feb 2018 16:54:45 +0100
changeset 12 d0f2a667d9d5
parent 0 bc83cf45066d
permissions -rw-r--r--
Mergen mit meinem Zweig
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     1
{#
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     2
    basic/search.html
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     3
    ~~~~~~~~~~~~~~~~~
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     4
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     5
    Template for the search page.
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     6
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     7
    :copyright: Copyright 2007-2013 by the Sphinx team, see AUTHORS.
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     8
    :license: BSD, see LICENSE for details.
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     9
#}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    10
{%- extends "layout.html" %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    11
{% set title = _('Search') %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    12
{% set script_files = script_files + ['_static/searchtools.js'] %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    13
{% block footer %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    14
  <script type="text/javascript">
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    15
    jQuery(function() { Search.loadIndex("{{ pathto('searchindex.js', 1) }}"); });
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    16
  </script>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    17
  {# this is used when loading the search index using $.ajax fails,
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    18
     such as on Chrome for documents on localhost #}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    19
  <script type="text/javascript" id="searchindexloader"></script>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    20
  {{ super() }}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    21
{% endblock %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    22
{% block body %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    23
  <noscript>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    24
  <div id="fallback" class="admonition warning">
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    25
    <p class="last">
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    26
      {% trans %}Please activate JavaScript to enable the search
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    27
      functionality.{% endtrans %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    28
    </p>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    29
  </div>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    30
  </noscript>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    31
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    32
  {% if search_performed %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    33
    <h2>{{ _('Search Results') }}</h2>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    34
    {% if not search_results %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    35
      <p>{{ _('Your search did not match any documents. Please make sure that all words are spelled correctly and that you\'ve selected enough categories.') }}</p>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    36
    {% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    37
  {% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    38
  <div id="search-results">
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    39
  {% if search_results %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    40
    <ul>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    41
    {% for href, caption, context in search_results %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    42
      <li>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    43
        <a href="{{ pathto(item.href) }}">{{ caption }}</a>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    44
        <p class="context">{{ context|e }}</p>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    45
      </li>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    46
    {% endfor %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    47
    </ul>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    48
  {% endif %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    49
  </div>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
    50
{% endblock %}