mirror of
https://github.com/icecoder/ICEcoder.git
synced 2026-03-03 23:34:01 +01:00
47775ac085
3 icons added as PNGs for visibility and editability, adjusted CSS file to suit New icons are improved and refined from those originally set up
72 lines
2.2 KiB
CSS
72 lines
2.2 KiB
CSS
/* The lint marker gutter */
|
|
.CodeMirror-lint-markers {
|
|
width: 12px; margin-left: 2px;
|
|
}
|
|
|
|
.CodeMirror-lint-tooltip {
|
|
background-color: infobackground;
|
|
border: 1px solid black;
|
|
border-radius: 4px 4px 4px 4px;
|
|
color: infotext;
|
|
font-family: monospace;
|
|
font-size: 10pt;
|
|
overflow: hidden;
|
|
padding: 2px 5px;
|
|
position: fixed;
|
|
white-space: pre;
|
|
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("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAAAXNSR0IArs4c6QAAAAZiS0dEAP8A/wD/oL2nkwAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB9sJDw4cOCW1/KIAAAAZdEVYdENvbW1lbnQAQ3JlYXRlZCB3aXRoIEdJTVBXgQ4XAAAAHElEQVQI12NggIL/DAz/GdA5/xkY/qPKMDAwAADLZwf5rvm+LQAAAABJRU5ErkJggg==")
|
|
;
|
|
}
|
|
|
|
.CodeMirror-lint-mark-warning {
|
|
background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAAAXNSR0IArs4c6QAAAAZiS0dEAP8A/wD/oL2nkwAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB9sJFhQXEbhTg7YAAAAZdEVYdENvbW1lbnQAQ3JlYXRlZCB3aXRoIEdJTVBXgQ4XAAAAMklEQVQI12NkgIIvJ3QXMjAwdDN+OaEbysDA4MPAwNDNwMCwiOHLCd1zX07o6kBVGQEAKBANtobskNMAAAAASUVORK5CYII=");
|
|
}
|
|
|
|
.CodeMirror-lint-marker-error, .CodeMirror-lint-marker-warning {
|
|
background-position: center center;
|
|
background-repeat: no-repeat;
|
|
cursor: help;
|
|
display: inline-block;
|
|
height: 16px;
|
|
width: 16px;
|
|
vertical-align: middle;
|
|
position: relative;
|
|
}
|
|
|
|
.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/error.png");
|
|
}
|
|
|
|
.CodeMirror-lint-marker-warning, .CodeMirror-lint-message-warning {
|
|
background-image: url("../../../images/warning.png");
|
|
}
|
|
|
|
.CodeMirror-lint-marker-multiple {
|
|
background-image: url("../../../images/multiple.png");
|
|
background-repeat: no-repeat;
|
|
background-position: right bottom;
|
|
width: 100%; height: 100%;
|
|
} |