From 5c4e6f7e9612135f5e7a3ef67b3d3c5c54e554c8 Mon Sep 17 00:00:00 2001
From: cmdr2 <secondary.cmdr2@gmail.com>
Date: Mon, 12 Dec 2022 19:42:43 +0530
Subject: [PATCH] Tweak editor width

---
 ui/media/css/main.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ui/media/css/main.css b/ui/media/css/main.css
index 442419f3..f2123cb3 100644
--- a/ui/media/css/main.css
+++ b/ui/media/css/main.css
@@ -139,7 +139,7 @@ code {
     padding: 16px;
     display: flex;
     flex-direction: column;
-    flex: 0 0 370pt;
+    flex: 0 0 380pt;
 }
 #editor label {
     font-weight: normal;