annotate .cms/lib/codemirror/addon/lint/lint.css @ 0:78edf6b517a0 draft

24.10
author Coffee CMS <info@coffee-cms.ru>
date Fri, 11 Oct 2024 22:40:23 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 /* The lint marker gutter */
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2 .CodeMirror-lint-markers {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 width: 16px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 .CodeMirror-lint-tooltip {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 background-color: #ffd;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 border: 1px solid black;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 border-radius: 4px 4px 4px 4px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 color: black;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 font-family: monospace;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 font-size: 10pt;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 overflow: hidden;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 padding: 2px 5px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 position: fixed;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 white-space: pre;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 white-space: pre-wrap;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 z-index: 100;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 max-width: 600px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 opacity: 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 transition: opacity .4s;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 -moz-transition: opacity .4s;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 -webkit-transition: opacity .4s;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 -o-transition: opacity .4s;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 -ms-transition: opacity .4s;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 .CodeMirror-lint-mark {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 background-position: left bottom;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 background-repeat: repeat-x;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 .CodeMirror-lint-mark-warning {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAAAXNSR0IArs4c6QAAAAZiS0dEAP8A/wD/oL2nkwAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB9sJFhQXEbhTg7YAAAAZdEVYdENvbW1lbnQAQ3JlYXRlZCB3aXRoIEdJTVBXgQ4XAAAAMklEQVQI12NkgIIvJ3QXMjAwdDN+OaEbysDA4MPAwNDNwMCwiOHLCd1zX07o6kBVGQEAKBANtobskNMAAAAASUVORK5CYII=");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 .CodeMirror-lint-mark-error {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAAAXNSR0IArs4c6QAAAAZiS0dEAP8A/wD/oL2nkwAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB9sJDw4cOCW1/KIAAAAZdEVYdENvbW1lbnQAQ3JlYXRlZCB3aXRoIEdJTVBXgQ4XAAAAHElEQVQI12NggIL/DAz/GdA5/xkY/qPKMDAwAADLZwf5rvm+LQAAAABJRU5ErkJggg==");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 .CodeMirror-lint-marker {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 background-position: center center;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 background-repeat: no-repeat;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 cursor: pointer;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 display: inline-block;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 height: 16px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 width: 16px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 vertical-align: middle;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 position: relative;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 .CodeMirror-lint-message {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 padding-left: 18px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 background-position: top left;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 background-repeat: no-repeat;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 .CodeMirror-lint-marker-warning, .CodeMirror-lint-message-warning {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAMAAAAoLQ9TAAAANlBMVEX/uwDvrwD/uwD/uwD/uwD/uwD/uwD/uwD/uwD6twD/uwAAAADurwD2tQD7uAD+ugAAAAD/uwDhmeTRAAAADHRSTlMJ8mN1EYcbmiixgACm7WbuAAAAVklEQVR42n3PUQqAIBBFUU1LLc3u/jdbOJoW1P08DA9Gba8+YWJ6gNJoNYIBzAA2chBth5kLmG9YUoG0NHAUwFXwO9LuBQL1giCQb8gC9Oro2vp5rncCIY8L8uEx5ZkAAAAASUVORK5CYII=");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 .CodeMirror-lint-marker-error, .CodeMirror-lint-message-error {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAMAAAAoLQ9TAAAAHlBMVEW7AAC7AACxAAC7AAC7AAAAAAC4AAC5AAD///+7AAAUdclpAAAABnRSTlMXnORSiwCK0ZKSAAAATUlEQVR42mWPOQ7AQAgDuQLx/z8csYRmPRIFIwRGnosRrpamvkKi0FTIiMASR3hhKW+hAN6/tIWhu9PDWiTGNEkTtIOucA5Oyr9ckPgAWm0GPBog6v4AAAAASUVORK5CYII=");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 .CodeMirror-lint-marker-multiple {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAcAAAAHCAMAAADzjKfhAAAACVBMVEUAAAAAAAC/v7914kyHAAAAAXRSTlMAQObYZgAAACNJREFUeNo1ioEJAAAIwmz/H90iFFSGJgFMe3gaLZ0od+9/AQZ0ADosbYraAAAAAElFTkSuQmCC");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 background-repeat: no-repeat;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 background-position: right bottom;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 width: 100%; height: 100%;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 .CodeMirror-lint-line-error {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 background-color: rgba(183, 76, 81, 0.08);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 .CodeMirror-lint-line-warning {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 background-color: rgba(255, 211, 0, 0.1);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 }