From d5d5dd79eb7d436db695054c99f0008fd8f3f639 Mon Sep 17 00:00:00 2001
From: Philip Allgaier <mail@spacegaier.de>
Date: Thu, 15 Apr 2021 21:26:07 +0200
Subject: [PATCH] Remove non effective CSS for CM6 search panel

---
 src/resources/codemirror.ts | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/resources/codemirror.ts b/src/resources/codemirror.ts
index 75ed71495ad6..0c52dd5446c1 100644
--- a/src/resources/codemirror.ts
+++ b/src/resources/codemirror.ts
@@ -72,8 +72,6 @@ export const theme = EditorView.theme({
   ".cm-panels.top": { borderBottom: "1px solid var(--divider-color)" },
   ".cm-panels.bottom": { borderTop: "1px solid var(--divider-color)" },
 
-  ".cm-panel.search input": { margin: "4px 4px 0" },
-
   ".cm-button": {
     border: "1px solid var(--primary-color)",
     padding: "0px 16px",