From 291b5ba7059c44ddcabeb7f715bc35ea54ff505a Mon Sep 17 00:00:00 2001
From: Max Lehmann <maxlehmann@xpub.nl>
Date: Thu, 11 Jun 2020 11:36:35 +0200
Subject: [PATCH] Update '12/style.css'

---
 12/style.css | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/12/style.css b/12/style.css
index b3ab3ac..f03064d 100644
--- a/12/style.css
+++ b/12/style.css
@@ -652,12 +652,13 @@ filter: invert(1);
 }
 
 #shell_03header{
-  padding: 10px;
+  padding: 5px;
   cursor: move;
   z-index: 10;
-  background-color: grey;
+  background-color: white;
   color: #fff;
   z-index:2000;
+  font-size: 8pt;
 }