Make terminal output more authentic: smaller font, tighter line spacing

Message font dropped from 20px to 14px and the 10px inline margin-bottom
(set from JS on every message) replaced with a 2px CSS margin so the
terminal reads like dense console output instead of spaced-out chat
bubbles. Colors are unchanged.

assets/styles/game1.css

@@ -47,12 +47,14 @@ div#message-container {
     justify-content: flex-end;
     min-height: calc(100vh - 100px); /* Fill most of the viewport initially */
     box-sizing: border-box;
-    font-size: 20px;
+    font-size: 14px;
 }
 
 div.message {
     color: #C0C0C0;
     white-space: pre-wrap;
+    line-height: 1.35;
+    margin-bottom: 2px;
 }
 
 div.message-virus {
@@ -103,11 +105,11 @@ div#input {
 
 input#input-message {
     width: 100%;
-    padding: 10px;
+    padding: 6px 10px;
     background: #111;
     border: 1px solid #A00000;
     color: #C0C0C0;
-    font-size: 18px;
+    font-size: 14px;
     box-sizing: border-box;
     font-family: monospace;
 }