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