From 1b495973b274339a411879e98f23518f66b842c1 Mon Sep 17 00:00:00 2001
From: Alexander Shishkov <no@email>
Date: Tue, 10 Apr 2012 11:54:18 +0000
Subject: [PATCH] remove search tips

---
 doc/_themes/blue/searchbox.html | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 doc/_themes/blue/searchbox.html

diff --git a/doc/_themes/blue/searchbox.html b/doc/_themes/blue/searchbox.html
new file mode 100644
index 0000000000..af28a7aba4
--- /dev/null
+++ b/doc/_themes/blue/searchbox.html
@@ -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 %}