From a7c4bc573c270536d7a2a9773f870726bcf13d94 Mon Sep 17 00:00:00 2001
From: Alessandro Pignotti <a.pignotti@sssup.it>
Date: Sat, 5 Oct 2024 19:30:49 +0200
Subject: [PATCH] Avoid an extra pixel outside the terminal

---
 src/App.svelte | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/App.svelte b/src/App.svelte
index 53b3d73..b1bb090 100644
--- a/src/App.svelte
+++ b/src/App.svelte
@@ -119,7 +119,7 @@
 	<Nav />
 	<div class="flex flex-row flex-grow">
 		<SideBar />
-		<div class="grow h-full m-1 scrollbar" id="console">
+		<div class="grow h-full p-1 scrollbar" id="console">
 		</div>
 	</div>
 </main>