q-doc/_themes/sphinx_rtd_theme/searchbox.html
author weiher
Mon, 05 Feb 2018 16:51:33 +0100
changeset 11 ccfe3c7fa0d2
parent 0 bc83cf45066d
permissions -rw-r--r--
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
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
{%- if builder != 'singlehtml' %}
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     2
<div role="search">
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     3
  <form id="rtd-search-form" class="wy-form" action="{{ pathto('search') }}" method="get">
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     4
    <input type="text" name="q" placeholder="{{ _('Search docs') }}" />
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     5
    <input type="hidden" name="check_keywords" value="yes" />
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     6
    <input type="hidden" name="area" value="default" />
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     7
  </form>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     8
</div>
bc83cf45066d Initial commit
Heinz Junkes <junkes@fhi-berlin.mpg.de>
parents:
diff changeset
     9
{%- endif %}