From a94969e47d082e700b121c88b5d8e4c874b4d058 Mon Sep 17 00:00:00 2001 From: tophf Date: Sun, 8 Nov 2020 20:28:52 +0300 Subject: [PATCH] remove padding from linter report items (icons already take care of proper spacing) --- edit/edit.css | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/edit/edit.css b/edit/edit.css index dcfe72db..e297939f 100644 --- a/edit/edit.css +++ b/edit/edit.css @@ -773,13 +773,15 @@ body:not(.find-open) [data-match-highlight-count="1"] .CodeMirror-selection-high #lint tr:hover { background-color: hsla(180, 50%, 36%, .2); } +#lint td { + padding: 0; +} #lint td[role="severity"] { font-size: 0; width: 16px; } #lint td[role="line"], #lint td[role="sep"] { text-align: right; - padding-right: 0; } #lint td[role="col"] { text-align: left;