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