From e75ffd03616a35c9764c6c9a3954aabebe42a3a3 Mon Sep 17 00:00:00 2001
From: Julianus Pfeuffer <pfeuffer@informatik.uni-tuebingen.de>
Date: Sun, 25 Feb 2024 17:34:45 +0100
Subject: [PATCH] enlarge logo

---
 docs/source/_static/custom.css | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/docs/source/_static/custom.css b/docs/source/_static/custom.css
index a8ef14cc0..b7bfdcb61 100644
--- a/docs/source/_static/custom.css
+++ b/docs/source/_static/custom.css
@@ -118,10 +118,9 @@ p.rubric+dl.py.function {
   100% {transform: rotate(-35deg) translate(0px, 0px);}
 }
 
-/* Shift our logo a little bit up to align with header text */
+/* Enlarge logo */
 .navbar-brand img {
-    margin-bottom: 13px;
-    margin-top: 5px;
+    scale: 2.0
 }
 
 /* In the right tocs: