From 1ce17e28471ed65592e5d6cf24363cf3bef82e54 Mon Sep 17 00:00:00 2001
From: Philip Allgaier <mail@spacegaier.de>
Date: Fri, 16 Apr 2021 16:29:36 +0200
Subject: [PATCH] Remove non effective CSS for CM6 search panel input (#8921)

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

diff --git a/src/resources/codemirror.ts b/src/resources/codemirror.ts
index 75ed71495a..0c52dd5446 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",