From 02e6dbf0a3cfc554f0324ba210be8f586b1eb8f3 Mon Sep 17 00:00:00 2001
From: markvandenheuvel <markvandenheuvel@xpub.nl>
Date: Wed, 3 Jun 2020 18:33:35 +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 bab2b11..fc18d88 100644
--- a/12/style.css
+++ b/12/style.css
@@ -252,7 +252,7 @@ a:hover{
 
 #shell_03 {
     white-space: pre-wrap;
-    height: 25em;
+    height: 20em;
     width: 100%;
     font-family: monospace;
     color: white;