From 34d79e45dcce1ba2d4dfbe0099187b2518be9ad1 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Thu, 29 Aug 2019 11:30:48 +0200
Subject: theming

---
 taler_sphinx_theme/guzzle_sphinx_theme/searchbox.html | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 taler_sphinx_theme/guzzle_sphinx_theme/searchbox.html

(limited to 'taler_sphinx_theme/guzzle_sphinx_theme/searchbox.html')

diff --git a/taler_sphinx_theme/guzzle_sphinx_theme/searchbox.html b/taler_sphinx_theme/guzzle_sphinx_theme/searchbox.html
new file mode 100644
index 00000000..7f574c3f
--- /dev/null
+++ b/taler_sphinx_theme/guzzle_sphinx_theme/searchbox.html
@@ -0,0 +1,15 @@
+{%- if pagename != "search" %}
+<div class="sidebar-block">
+  <div class="sidebar-wrapper">
+    <div id="main-search">
+      <form class="form-inline" action="{{ pathto('search') }}" method="GET" role="form">
+        <div class="input-group">
+          <input name="q" type="text" class="form-control" placeholder="Search...">
+        </div>
+        <input type="hidden" name="check_keywords" value="yes" />
+        <input type="hidden" name="area" value="default" />
+      </form>
+    </div>
+  </div>
+</div>
+{%- endif %}
-- 
cgit v1.2.3