From 2c674bdc0cad71d8dc4cdaf2a4f17683ffd8a4fd Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sun, 25 Oct 2020 16:19:15 +0300
Subject: [PATCH] remove the extraneous margin between applies-to

---
 edit/edit.css | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/edit/edit.css b/edit/edit.css
index ffd56f7e..8301a737 100644
--- a/edit/edit.css
+++ b/edit/edit.css
@@ -853,10 +853,6 @@ body.linter-disabled .hidden-unless-compact {
   margin: 0;
 }
 
-.CodeMirror-linewidget .applies-to li + li {
-  margin-top: 0.35rem;
-}
-
 .CodeMirror-linewidget .applies-to li[data-type="regexp"] .test-regexp {
   display: inline;
 }