diff --git a/webrepl.html b/webrepl.html
index 88d384f..39f43a0 100644
--- a/webrepl.html
+++ b/webrepl.html
@@ -17,16 +17,15 @@
     font: 20px/1.5 sans-serif;
   }
 
-/*
   .terminal {
     float: left;
     border: #000 solid 5px;
     font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;
-    font-size: 11px;
+    font-size: 1.2vw;
     color: #f0f0f0;
     background: #000;
   }
-
+/*
   .terminal-cursor {
     color: #000;
     background: #f0f0f0;