From 3a408884dd5e3f86bfbd4bf1f597aad397155cae Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Wed, 25 Feb 2015 12:18:40 +0100
Subject: [PATCH] [mdn-like theme] Remove margin on linenumber element
Margins for gutter markers aren't supported, and this was
pushing the numbers into the content.
Issue #3098
---
theme/mdn-like.css | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/theme/mdn-like.css b/theme/mdn-like.css
index 93293c01c..9c73dc2f0 100644
--- a/theme/mdn-like.css
+++ b/theme/mdn-like.css
@@ -13,7 +13,7 @@
.cm-s-mdn-like.CodeMirror ::-moz-selection { background: #cfc; }
.cm-s-mdn-like .CodeMirror-gutters { background: #f8f8f8; border-left: 6px solid rgba(0,83,159,0.65); color: #333; }
-.cm-s-mdn-like .CodeMirror-linenumber { color: #aaa; margin-left: 3px; }
+.cm-s-mdn-like .CodeMirror-linenumber { color: #aaa; padding-left: 8px; }
div.cm-s-mdn-like .CodeMirror-cursor { border-left: 2px solid #222; }
.cm-s-mdn-like .cm-keyword { color: #6262FF; }
--
GitLab