From b9f08b160bb288bddb9dc970e7b804c938a1fe95 Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Wed, 6 Apr 2016 23:06:44 +0100
Subject: [PATCH] Margin to left & slightly slimmer, plus help cursor

---
 CodeMirror/addon/lint/lint.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CodeMirror/addon/lint/lint.css b/CodeMirror/addon/lint/lint.css
index 414a9a0..b6b42c2 100644
--- a/CodeMirror/addon/lint/lint.css
+++ b/CodeMirror/addon/lint/lint.css
@@ -1,6 +1,6 @@
 /* The lint marker gutter */
 .CodeMirror-lint-markers {
-  width: 16px;
+  width: 12px; margin-left: 2px;
 }
 
 .CodeMirror-lint-tooltip {
@@ -43,7 +43,7 @@
 .CodeMirror-lint-marker-error, .CodeMirror-lint-marker-warning {
   background-position: center center;
   background-repeat: no-repeat;
-  cursor: pointer;
+  cursor: help;
   display: inline-block;
   height: 16px;
   width: 16px;