From 791d9e66bf19d0a679bb7f549716919d33c634d7 Mon Sep 17 00:00:00 2001
From: Alessandro Pignotti <a.pignotti@sssup.it>
Date: Wed, 17 May 2023 17:04:04 +0200
Subject: [PATCH] UI: Minor spacing adjustment

---
 index.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/index.html b/index.html
index b60fca3..05ebeda 100644
--- a/index.html
+++ b/index.html
@@ -102,7 +102,7 @@ __      __   _  __   ____  __
     </div>
     <div style="flex-grow:0; flex-shrink: 0; height:1px; width: 100%; background-color: white;">
     </div>
-    <main style="display: flex; flex-direction: row; justify-content: space-between; margin:0; height:100%;">
+    <main style="display: flex; flex-direction: row; justify-content: space-between; margin: 5px; height: 100%;">
       <div style="flex-grow:1; height:100%;display:inline-block;margin:0;" class="scrollbar" id="console">
       </div>
 
@@ -320,7 +320,6 @@ __      __   _  __   ____  __
 	}
 	function initialMessage()
 	{
-		printOnTerm.printMessage([""]);
 		printOnTerm.printMessage(printOnTerm.getAsciiText());
 		term.registerLinkMatcher(/https:\/\/leaningtech.com\/webvm-virtual-machine-with-networking-via-tailscale/, function(mouseEvent, matchedString) {
 			window.open(matchedString, "_blank")