summaryrefslogtreecommitdiff
path: root/sphinx/themes/basic
diff options
context:
space:
mode:
authorGeorg Brandl <georg@python.org>2014-01-19 19:13:17 +0100
committerGeorg Brandl <georg@python.org>2014-01-19 19:13:17 +0100
commitcd7658dde7f32714f4e6013cd221a9ea6e88bb82 (patch)
tree329d1f0abf16c75666013bc877f7532a21663398 /sphinx/themes/basic
parent2a8cf7c7781a4554adbcb4bae6bec2a40bfc156d (diff)
parent468198f91b0a41056c46c25f8cedf5c528c97564 (diff)
downloadsphinx-cd7658dde7f32714f4e6013cd221a9ea6e88bb82.tar.gz
merge with stable
Diffstat (limited to 'sphinx/themes/basic')
-rw-r--r--sphinx/themes/basic/searchbox.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/themes/basic/searchbox.html b/sphinx/themes/basic/searchbox.html
index 0a573c32..420e0121 100644
--- a/sphinx/themes/basic/searchbox.html
+++ b/sphinx/themes/basic/searchbox.html
@@ -7,7 +7,7 @@
:copyright: Copyright 2007-2013 by the Sphinx team, see AUTHORS.
:license: BSD, see LICENSE for details.
#}
-{%- if pagename != "search" %}
+{%- if pagename != "search" and builder != "singlehtml" %}
<div id="searchbox" style="display: none" role="search">
<h3>{{ _('Quick search') }}</h3>
<form class="search" action="{{ pathto('search') }}" method="get">