2019-08-16 01:37:09 +00:00
|
|
|
/* The lint marker gutter */
|
|
|
|
.CodeMirror-lint-markers {
|
|
|
|
width: 16px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lint-tooltip {
|
|
|
|
background-color: #ffd;
|
|
|
|
border: 1px solid black;
|
|
|
|
border-radius: 4px 4px 4px 4px;
|
|
|
|
color: black;
|
|
|
|
font-family: monospace;
|
|
|
|
font-size: 10pt;
|
|
|
|
overflow: hidden;
|
|
|
|
padding: 2px 5px;
|
|
|
|
position: fixed;
|
|
|
|
white-space: pre;
|
|
|
|
white-space: pre-wrap;
|
|
|
|
z-index: 100;
|
|
|
|
max-width: 600px;
|
|
|
|
opacity: 0;
|
|
|
|
transition: opacity .4s;
|
|
|
|
-moz-transition: opacity .4s;
|
|
|
|
-webkit-transition: opacity .4s;
|
|
|
|
-o-transition: opacity .4s;
|
|
|
|
-ms-transition: opacity .4s;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lint-mark-error, .CodeMirror-lint-mark-warning {
|
|
|
|
background-position: left bottom;
|
|
|
|
background-repeat: repeat-x;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lint-mark-error {
|
|
|
|
background-image: url(/images/lint/mark-error.png);
|
|
|
|
;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lint-mark-warning {
|
|
|
|
background-image: url(/images/lint/mark-warning.png);
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lint-marker-error, .CodeMirror-lint-marker-warning {
|
|
|
|
background-position: center center;
|
|
|
|
background-repeat: no-repeat;
|
|
|
|
cursor: pointer;
|
|
|
|
display: inline-block;
|
|
|
|
height: 16px;
|
|
|
|
width: 16px;
|
|
|
|
vertical-align: middle;
|
|
|
|
position: relative;
|
2019-08-16 02:30:34 +00:00
|
|
|
margin-left: 5px;
|
2019-08-16 01:37:09 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lint-message-error, .CodeMirror-lint-message-warning {
|
|
|
|
padding-left: 18px;
|
|
|
|
background-position: top left;
|
|
|
|
background-repeat: no-repeat;
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lint-marker-error, .CodeMirror-lint-message-error {
|
|
|
|
background-image: url(/images/lint/message-error.png);
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lint-marker-warning, .CodeMirror-lint-message-warning {
|
|
|
|
background-image: url(/images/lint/message-warning.png);
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lint-marker-multiple {
|
|
|
|
background-image: url(/images/lint/mark-multiple.png);
|
|
|
|
background-repeat: no-repeat;
|
|
|
|
background-position: right bottom;
|
|
|
|
width: 100%; height: 100%;
|
|
|
|
}
|