From 8d5be8d0f396740ad2a00276868d92313e5b8779 Mon Sep 17 00:00:00 2001
From: Nat <1236984+sindastra@users.noreply.github.com>
Date: Fri, 13 Mar 2020 12:22:23 +0100
Subject: [PATCH] Fix text area too big with new font.

---
 src/www/style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/www/style.css b/src/www/style.css
index 5e2aae9..14f57ec 100644
--- a/src/www/style.css
+++ b/src/www/style.css
@@ -43,7 +43,7 @@ code, #code {
 	caret-color:lime;
 	width:100%;
 	height:500px;
-	height:95vh;
+	height:91vh;
 	font-family:"Share Tech Mono", monospace;
 	border:none;
 	outline:0;