Mirrors/ICEcoder
2
0
Fork 0
mirror of https://github.com/icecoder/ICEcoder.git synced 2026-03-03 07:13:59 +01:00
Code Issues Packages Projects Releases Wiki Activity

Margin to left & slightly slimmer, plus help cursor

Browse Source
This commit is contained in:
Matt Pass
2016-04-06 23:06:44 +01:00
parent fcf72f0d12
commit b9f08b160b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
CodeMirror/addon/lint/lint.css vendored
View File

@@ -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;