Update '12/style.css'

5 years ago · 02e6dbf0a3
parent 72e1ce2eec
commit 02e6dbf0a3
1 changed files with 1 additions and 1 deletions
--- a/12/style.css
+++ b/12/style.css
@ -252,7 +252,7 @@ a:hover{

 #shell_03 {
    white-space: pre-wrap;
-    height: 25em;
+    height: 20em;
    width: 100%;
    font-family: monospace;
    color: white;