update spacing

src/default-theme/terminal.less

@@ -21,10 +21,12 @@
   -webkit-user-select: text;
 }
 
+
 .terminal {
   font-family: monospace;
 }
 
+
 .terminal .xterm-viewport {
   overflow-y: auto;
 }