Files
releases/doc/source/_themes/releases/sidebar_search.html
Doug Hellmann da695f130d move search to a normal sidebar element
Change-Id: Ic3572166e9080741aff1929608017e5746af9d81
Signed-off-by: Doug Hellmann <doug@doughellmann.com>
2016-02-08 18:15:39 -05:00

15 lines
514 B
HTML

{%- block sidebarsearch %}
{%- if pagename != "search" %}
<div class="col-lg-3 col-md-4 col-sm-4 col-lg-pull-9 col-md-pull-8 col-sm-pull-8 docs-sidebar">
<div id="searchbox">
<form class="search" action="{{ pathto('search') }}" method="get">
<input type="text" name="q" size="18" />
<input type="submit" value="{{ _('Search') }}" />
<input type="hidden" name="check_keywords" value="yes" />
<input type="hidden" name="area" value="default" />
</form>
</div>
</div>
{%- endif %}
{%- endblock %}