From b2552a3d966abc2f6f05f29a02ca7b82636e0f26 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Robert=20Kr=C3=A1tk=C3=BD?= <rkratky@gmail.com>
Date: Wed, 10 Jan 2024 16:16:05 +0100
Subject: [PATCH] Add search-bar Go button.

---
 doc/.sphinx/_static/custom.css             | 16 ++++++++++++++++
 doc/.sphinx/_templates/sidebar/search.html |  7 +++++++
 2 files changed, 23 insertions(+)
 create mode 100644 doc/.sphinx/_templates/sidebar/search.html

diff --git a/doc/.sphinx/_static/custom.css b/doc/.sphinx/_static/custom.css
index e26f4d2b5..45f2a9ca0 100644
--- a/doc/.sphinx/_static/custom.css
+++ b/doc/.sphinx/_static/custom.css
@@ -193,3 +193,19 @@ details summary {
 .highlight button.copybtn {
    opacity: 0;
 }
+
+/* Mimicking the 'Give feedback' button for UX consistency */
+.sidebar-search-container input[type=submit] {
+    color: #FFFFFF;
+    border: 2px solid #D6410D;
+    padding: var(--sidebar-search-input-spacing-vertical) var(--sidebar-search-input-spacing-horizontal);
+    background: #D6410D;
+    font-weight: bold;
+    font-size: var(--font-size--small);
+    cursor: pointer;
+}
+
+.sidebar-search-container input[type=submit]:hover {
+    text-decoration: underline;
+}
+
diff --git a/doc/.sphinx/_templates/sidebar/search.html b/doc/.sphinx/_templates/sidebar/search.html
new file mode 100644
index 000000000..644a5ef6a
--- /dev/null
+++ b/doc/.sphinx/_templates/sidebar/search.html
@@ -0,0 +1,7 @@
+<form class="sidebar-search-container" method="get" action="{{ pathto('search') }}" role="search">
+    <input class="sidebar-search" placeholder="{{ _("Search") }}" name="q" aria-label="{{ _("Search" ) }}">
+    <input type="submit" value="Go">
+    <input type="hidden" name="check_keywords" value="yes">
+    <input type="hidden" name="area" value="default">
+  </form>
+  <div id="searchbox"></div>