Set own couple of lint stylings

This commit is contained in:
Matt Pass
2016-03-12 16:45:39 +00:00
parent 3296434473
commit f5dc08e9b7

View File

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