2 box-sizing: content-box;
6 line-height: 1.2em !important;
7 background-color: transparent !important;
10 .CodeMirror .source-frame-eval-expression {
12 border: 1px solid rgb(163, 41, 34);
13 border-left-width: 0px;
14 border-right-width: 0px;
17 .CodeMirror .source-frame-eval-expression-end {
18 border-right-width: 1px;
22 .CodeMirror .source-frame-eval-expression-start {
23 border-left-width: 1px;
27 .CodeMirror-readonly .CodeMirror-cursor {
31 .CodeMirror .CodeMirror-gutters {
32 border-right: 1px solid rgb(187, 187, 187);
33 background-color: rgb(240, 240, 240);
36 .CodeMirror .CodeMirror-linenumber {
37 color: rgb(128, 128, 128);
40 .CodeMirror-linenumber {
41 min-width: 22px !important;
45 -webkit-animation: "fadeout" 2s 0s;
47 @-webkit-keyframes fadeout {
48 from {background-color: rgb(255, 255, 120); }
49 to { background-color: white; }
52 .cm-breakpoint .CodeMirror-linenumber {
54 border-width: 1px 4px 1px 1px !important;
55 -webkit-border-image: url(Images/breakpoint2.png) 1 4 1 1;
56 margin: 0px 0px 0px 3px !important;
60 line-height: 12px !important;
63 .cm-breakpoint.cm-breakpoint-conditional .CodeMirror-linenumber {
64 -webkit-border-image: url(Images/breakpointConditional2.png) 1 4 1 1;
67 @media (-webkit-min-device-pixel-ratio: 1.5) {
68 .cm-breakpoint .CodeMirror-linenumber {
69 -webkit-border-image: url(Images/breakpoint2_2x.png) 2 8 2 2;
71 .cm-breakpoint.cm-breakpoint-conditional .CodeMirror-linenumber {
72 -webkit-border-image: url(Images/breakpointConditional2_2x.png) 2 8 2 2;
76 .cm-breakpoint-disabled .CodeMirror-linenumber {
80 .breakpoints-deactivated .cm-breakpoint .CodeMirror-linenumber {
84 .breakpoints-deactivated .cm-breakpoint-disabled .CodeMirror-linenumber {
88 .CodeMirror-matchingbracket {
89 border-bottom: 1px solid black;
90 color: #222 !important;
93 .CodeMirror-nonmatchingbracket {
94 color: #222 !important;
97 .cm-whitespace::before {
100 color: rgb(175, 175, 175);
111 border-bottom: 1px solid rgb(175, 175, 175);
118 .show-whitespaces .CodeMirror .cm-tab:before {
119 display: block !important;
123 background-color: rgb(171, 191, 254) !important;
124 outline: 1px solid rgb(64, 115, 244);
127 .cm-execution-line .CodeMirror-linenumber {
128 border-right: 1px solid rgb(64, 115, 244);
131 .cm-token-highlight {
135 .cm-token-highlight:before {
137 border: 1px solid gray;
146 .cm-line-with-selection .cm-column-with-selection:before {
150 .cm-search-highlight {
154 .cm-search-highlight:before {
156 border-top-style: solid;
157 border-bottom-style: solid;
158 border-top-color: gray;
159 border-bottom-color: gray;
160 border-top-width: 1px;
161 border-bottom-width: 1px;
169 .cm-search-highlight-full:before {
170 border: 1px solid gray;
174 .cm-search-highlight-start:before {
175 border-left-width: 1px;
176 border-top-left-radius: 2px;
177 border-bottom-left-radius: 2px;
178 border-left-style: solid;
179 border-left-color: gray;
182 .cm-search-highlight-end:before {
183 border-right-width: 1px;
184 border-top-right-radius: 2px;
185 border-bottom-right-radius: 2px;
186 border-right-style: solid;
187 border-right-color: gray;
190 .cm-line-with-selection .cm-column-with-selection.cm-search-highlight-full:before {
194 .cm-line-with-selection .cm-column-with-selection.cm-search-highlight-start:before {
195 border-top-left-radius: 1px;
196 border-bottom-left-radius: 1px;
199 .cm-line-with-selection .cm-column-with-selection.cm-search-highlight-end:before {
200 border-top-right-radius: 1px;
201 border-bottom-right-radius: 1px;
204 .cm-line-with-selection .cm-column-with-selection.cm-search-highlight:before {
205 margin: -1px -1px -1px -1px;
206 background-color: rgb(241, 234, 0);
210 .CodeMirror .webkit-html-message-bubble {
211 box-shadow: black 0px 2px 5px;
213 -webkit-border-fit: lines;
215 font-family: Lucida Grande, sans-serif;
222 .CodeMirror .webkit-html-message-bubble img {
228 .CodeMirror .webkit-html-warning-message {
229 background-color: rgb(100%, 62%, 42%);
230 border: 2px solid rgb(100%, 52%, 21%);
233 .CodeMirror .webkit-html-error-message {
234 background-color: rgb(100%, 42%, 42%);
235 border: 2px solid rgb(100%, 31%, 31%);