From dab6f676107c10ba8d16c654a42f66cae3f27db1 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Wed, 8 May 2019 10:59:18 +0200
Subject: [PATCH] [midnight theme] Drop custom matchhighlight styles

Issue #5866
---
 theme/midnight.css | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/theme/midnight.css b/theme/midnight.css
index 1de827eba7..fc26474a4a 100644
--- a/theme/midnight.css
+++ b/theme/midnight.css
@@ -1,9 +1,5 @@
 /* Based on the theme at http://bonsaiden.github.com/JavaScript-Garden */
 
-/*<!--match-->*/
-.cm-s-midnight span.cm-matchhighlight { background: #494949; }
-.cm-s-midnight.CodeMirror-focused span.cm-matchhighlight { background: #314D67 !important; }
-
 /*<!--activeline-->*/
 .cm-s-midnight .CodeMirror-activeline-background { background: #253540; }