From 28f087f9e9f159323cab5b1a9c5cda55a5add85a Mon Sep 17 00:00:00 2001
From: anon <anon@nowhere.jez>
Date: Thu, 19 Jun 2025 22:26:48 +0200
Subject: [PATCH] making logo bigger

---
 docs/stylesheets/extra.css | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
index 50999e3..4cdc87a 100644
--- a/docs/stylesheets/extra.css
+++ b/docs/stylesheets/extra.css
@@ -19,6 +19,19 @@
   }
 }
 
+.md-header__button.md-logo {
+  margin-top: 0;
+  margin-bottom: 0;
+  padding-top: 0;
+  padding-bottom: 0;
+}
+
+.md-header__button.md-logo img,
+.md-header__button.md-logo svg {
+  height: 70%;
+  width: 70%;
+}
+
 img {
   max-height: 800px;
 }