From e8676f1b1da9568a06f97914c2cd9c999b874c5e Mon Sep 17 00:00:00 2001
From: Max Lehmann <maxlehmann@xpub.nl>
Date: Wed, 10 Jun 2020 11:50:54 +0200
Subject: [PATCH] Update '12/style.css'

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

diff --git a/12/style.css b/12/style.css
index 185b336..6e56a49 100644
--- a/12/style.css
+++ b/12/style.css
@@ -274,8 +274,8 @@ a:hover{
 
 #shell_03 {
     white-space: pre-wrap;
-    height: 100px;
-    width: 100px;
+    height: 200px;
+    width: 200px;
     font-family: monospace;
     color: white;
     font-size: 14px;