From f5dc08e9b7c40ac5759cecdf304f5804e8995068 Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Sat, 12 Mar 2016 16:45:39 +0000
Subject: [PATCH] Set own couple of lint stylings

---
 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 b6b42c2..414a9a0 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: 12px; margin-left: 2px;
+  width: 16px;
 }
 
 .CodeMirror-lint-tooltip {
@@ -43,7 +43,7 @@
 .CodeMirror-lint-marker-error, .CodeMirror-lint-marker-warning {
   background-position: center center;
   background-repeat: no-repeat;
-  cursor: help;
+  cursor: pointer;
   display: inline-block;
   height: 16px;
   width: 16px;