From e3df720a7f10b81a9572428086a97bef75fe1ecf Mon Sep 17 00:00:00 2001
From: narcolepticinsomniac <therealdoctorgonzo@gmail.com>
Date: Wed, 11 Jul 2018 00:19:33 -0400
Subject: [PATCH] usercss .applies-to padding

---
 edit/edit.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/edit/edit.css b/edit/edit.css
index b6f63ed2..20aec2b8 100644
--- a/edit/edit.css
+++ b/edit/edit.css
@@ -762,7 +762,7 @@ html:not(.usercss) .usercss-only,
 /************ line widget *************/
 .CodeMirror-linewidget .applies-to {
   margin: 1em 0;
-  padding: 1em;
+  padding: .75rem .75rem .25rem;
   padding-right: calc(1em + 20px);
 }