From 739de88270d54c0db1c5b11adebc7a41d1a3976d Mon Sep 17 00:00:00 2001 From: Max Lehmann Date: Wed, 10 Jun 2020 11:51:37 +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 b8a5a9c..91f24a1 100644 --- a/12/style.css +++ b/12/style.css @@ -275,7 +275,7 @@ a:hover{ #shell_03 { white-space: pre-wrap; height: 300px; - width: 300px; + width: 400px; font-family: monospace; color: white; font-size: 14px;