move stuff into 'docs' subfolder

1 files changed, 11 insertions, 0 deletions

diff --git a/docs/_better_theme/searchbox.html b/docs/_better_theme/searchbox.html
new file mode 100644
index 0000000..f761ce8
--- /dev/null
+++ b/docs/_better_theme/searchbox.html
@@ -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 %}