overlay lint markers

...to avoid showing a weirdly empty gap in the gutter
openstyles · Oct 21, 2023 · 7e9ba28 · 7e9ba28
1 parent 08d2296
commit 7e9ba28
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/edit/codemirror-default.css b/edit/codemirror-default.css
@@ -75,6 +75,10 @@
 .CodeMirror-linenumber {
   cursor: pointer; /* for bookmarking */
 }
+.CodeMirror-lint-markers {
+  margin-left: -8px;
+  margin-right: -8px;
+}
 .cm-matchhighlight,
 .CodeMirror-selection-highlight-scrollbar {
   background: hsla(200, 100%, 50%, var(--match-hl-opacity, .1));