From a5e8860b4d015f27a103a2566a1ec44a49089e17 Mon Sep 17 00:00:00 2001
From: nd <git@notandy.de>
Date: Mon, 29 May 2023 12:01:05 +0200
Subject: [PATCH] shrink fisty a bit

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

diff --git a/docs/css/camp2023-style.css b/docs/css/camp2023-style.css
index 57002d9..5823b6a 100644
--- a/docs/css/camp2023-style.css
+++ b/docs/css/camp2023-style.css
@@ -3,7 +3,7 @@
 }
 
 .wy-side-nav-search .wy-dropdown>a img.logo,.wy-side-nav-search>a img.logo {
-    width: 80%;
+    width: 60%;
 }
 
 .wy-nav-top {
-- 
GitLab