From 6432da974a18d277d481f47f9e39ebaeeaea8253 Mon Sep 17 00:00:00 2001 From: Max Lehmann Date: Wed, 10 Jun 2020 11:52:05 +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 91f24a1..5cddf42 100644 --- a/12/style.css +++ b/12/style.css @@ -274,8 +274,8 @@ a:hover{ #shell_03 { white-space: pre-wrap; - height: 300px; - width: 400px; + height: 350px; + width: 500px; font-family: monospace; color: white; font-size: 14px;