From fd811831fd5bc4d1466ed0f1e4b2223006c8580e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jean-Fran=C3=A7ois=20Nguyen?= <jf@jfng.fr>
Date: Wed, 10 Apr 2024 20:10:09 +0200
Subject: [PATCH] docs: remove margin around logo background.

---
 docs/_static/custom.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/_static/custom.css b/docs/_static/custom.css
index 5e9d11b..e058a22 100644
--- a/docs/_static/custom.css
+++ b/docs/_static/custom.css
@@ -11,7 +11,7 @@ a { text-decoration: underline; }
 /* Some of our section titles are looong */
 @media screen and (min-width:769px) {
   .wy-nav-side, .wy-side-scroll, .wy-menu-vertical { width: 340px; }
-  .wy-side-nav-search { width: 325px; }
+  .wy-side-nav-search { width: 340px; margin-bottom: .0em; }
   .wy-nav-content-wrap { margin-left: 340px; }
 }