--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/help/theme/better/searchbox.html	Mon Sep 22 13:02:11 2014 +0200
@@ -0,0 +1,11 @@
+{%- if pagename != "search" %}
+<form class="search" action="{{ pathto('search') }}" method="get">
+  <input type="text" name="q"
+   placeholder="{{ _('type to search') }}" />
+  {#- I have not been able to make this look good. #}
+  {#- <input type="submit" value="{{ _('Search') }}" /> #}
+  <input type="hidden" name="check_keywords" value="yes" />
+  <input type="hidden" name="area" value="default" />
+</form>
+<script type="text/javascript">$('#searchbox').show(0);</script>
+{%- endif %}