From e8296b95054f56c215da48b102a2ed2f0ea0b7eb Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Jun 12 2017 14:25:05 +0000
Subject: Add a border to the search box on the side bar


Fixes https://pagure.io/pagure/issue/2239

---

diff --git a/doc/_static/site.css b/doc/_static/site.css
index 6392e4f..e8f77cd 100644
--- a/doc/_static/site.css
+++ b/doc/_static/site.css
@@ -16,3 +16,9 @@ h1.pagure-logo {
 }
 
 .strike { text-decoration: line-through; }
+
+div.sphinxsidebar #searchbox input[type="text"] {
+    border: 1px solid #777777;
+    margin-bottom: 0.4em;
+    border-radius: 0.25em;
+}