remove search tips
authorAlexander Shishkov <no@email>
Tue, 10 Apr 2012 11:54:18 +0000 (11:54 +0000)
committerAlexander Shishkov <no@email>
Tue, 10 Apr 2012 11:54:18 +0000 (11:54 +0000)
doc/_themes/blue/searchbox.html [new file with mode: 0644]

diff --git a/doc/_themes/blue/searchbox.html b/doc/_themes/blue/searchbox.html
new file mode 100644 (file)
index 0000000..af28a7a
--- /dev/null
@@ -0,0 +1,22 @@
+{#
+    basic/searchbox.html
+    ~~~~~~~~~~~~~~~~~~~~
+
+    Sphinx sidebar template: quick search box.
+
+    :copyright: Copyright 2007-2011 by the Sphinx team, see AUTHORS.
+    :license: BSD, see LICENSE for details.
+#}
+{%- if pagename != "search" %}
+<div id="searchbox" style="display: none">
+  <h3>{{ _('Quick search') }}</h3>
+    <form class="search" action="{{ pathto('search') }}" method="get">
+      <input type="text" name="q" size="18" />
+      <input type="submit" value="{{ _('Go') }}" />
+      <input type="hidden" name="check_keywords" value="yes" />
+      <input type="hidden" name="area" value="default" />
+      </p>
+    </form>
+</div>
+<script type="text/javascript">$('#searchbox').show(0);</script>
+{%- endif %}