From 1b0ee95650ca005b03fe3e5b131369e3a38a6559 Mon Sep 17 00:00:00 2001
From: markvandenheuvel <markvandenheuvel@xpub.nl>
Date: Wed, 3 Jun 2020 17:41:31 +0200
Subject: [PATCH] Update '12/style.css'

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

diff --git a/12/style.css b/12/style.css
index 0508ce2..1e15045 100644
--- a/12/style.css
+++ b/12/style.css
@@ -229,7 +229,7 @@ a:hover{
 
 #shell_03 {
     white-space: pre-wrap;
-    height: 40em;
+    height: 30em;
     width: 100%;
     font-family: monospace;
     color: white;