From 4d6fe2f20f67567457539fed3ef0f31e5856c840 Mon Sep 17 00:00:00 2001
From: gurkenhabicht <info@intheopen.org>
Date: Mon, 26 Sep 2022 18:14:51 +0200
Subject: [PATCH] changed github-dark layout

---
 static/github-dark.css | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/static/github-dark.css b/static/github-dark.css
index 51f39cf..b5fe8d3 100644
--- a/static/github-dark.css
+++ b/static/github-dark.css
@@ -45,20 +45,24 @@ details summary::marker { content: "\1F4C1\20";}
     /* 12em is the width of the columns */
     flex: 0 0 14em;
     background-color: #0d1117;
+    /* expermimental line height */
+    line-height: 1.8em;
   }
 
   .HolyGrail-nav ul {
         list-style-type: none!important;
-        padding-left : 0.3em;
+        padding-left : 1ch;
         margin: 0em;
         text-align: left;
   }
 
   .HolyGrail-nav li {
         list-style-type: none!important;
-        padding-left : 1em;
+        padding-left : 0.5ch;
         margin: 0em;
         text-align: left;
+    /* expermimental line height */
+        line-height: 1.5em;
   }
 
   .HolyGrail-nav a{