From 5db447de02791ef38f391a0ea2f6a2f53ffab048 Mon Sep 17 00:00:00 2001
From: Faton Ramadani <faton.ramadani14@gmail.com>
Date: Mon, 1 Aug 2022 16:53:01 +0200
Subject: [PATCH] Fix EditorBar in the script editor (#299)

Co-authored-by: Ruben Fiszel <ruben@rubenfiszel.com>
---
 frontend/src/lib/components/ScriptEditor.svelte | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/frontend/src/lib/components/ScriptEditor.svelte b/frontend/src/lib/components/ScriptEditor.svelte
index 068ac2b4de..d843affe2c 100644
--- a/frontend/src/lib/components/ScriptEditor.svelte
+++ b/frontend/src/lib/components/ScriptEditor.svelte
@@ -238,7 +238,7 @@
 			<div class="header">
 				<EditorBar {editor} {lang} {websocketAlive} />
 			</div>
-			<div class="flex-1 overflow-hidden">
+			<div class="flex-1 overflow-hidden border p-2 rounded">
 				<Editor
 					{code}
 					bind:websocketAlive
@@ -500,12 +500,7 @@
 
 <style>
 	.header {
-		max-height: 28px;
-		@apply border;
-		@apply px-2 py-1;
-		@apply border-l border-r;
-		@apply bg-gray-100;
-		@apply text-xs text-gray-700;
+		@apply py-2;
 	}
 
 	.preview {