cmdevtools.css 4.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224
  1. .CodeMirror * {
  2. box-sizing: content-box;
  3. }
  4. .CodeMirror {
  5. line-height: 1.2em !important;
  6. background-color: transparent !important;
  7. }
  8. .CodeMirror .source-frame-eval-expression {
  9. outline: 0px;
  10. border: 1px solid rgb(163, 41, 34);
  11. border-left-width: 0px;
  12. border-right-width: 0px;
  13. }
  14. .CodeMirror .source-frame-eval-expression-end {
  15. border-right-width: 1px;
  16. margin-right: -1px;
  17. }
  18. .CodeMirror .source-frame-eval-expression-start {
  19. border-left-width: 1px;
  20. margin-left: -1px;
  21. }
  22. .CodeMirror-readonly .CodeMirror-cursor {
  23. display: none;
  24. }
  25. .CodeMirror .CodeMirror-gutters {
  26. border-right: 1px solid rgb(187, 187, 187);
  27. background-color: rgb(240, 240, 240);
  28. }
  29. .CodeMirror .CodeMirror-linenumber {
  30. color: rgb(128, 128, 128);
  31. }
  32. .CodeMirror-linenumber {
  33. min-width: 22px !important;
  34. }
  35. .cm-highlight {
  36. -webkit-animation: "fadeout" 2s 0s;
  37. }
  38. @-webkit-keyframes fadeout {
  39. from {background-color: rgb(255, 255, 120); }
  40. to { background-color: white; }
  41. }
  42. .cm-breakpoint .CodeMirror-linenumber {
  43. color: white;
  44. border-width: 1px 4px 1px 1px !important;
  45. -webkit-border-image: url(Images/breakpoint2.png) 1 4 1 1;
  46. margin: 0px 0px 0px 3px !important;
  47. padding-right: 3px;
  48. padding-left: 1px;
  49. height: 11px;
  50. line-height: 12px !important;
  51. }
  52. .cm-breakpoint.cm-breakpoint-conditional .CodeMirror-linenumber {
  53. -webkit-border-image: url(Images/breakpointConditional2.png) 1 4 1 1;
  54. }
  55. @media (-webkit-min-device-pixel-ratio: 1.5) {
  56. .cm-breakpoint .CodeMirror-linenumber {
  57. -webkit-border-image: url(Images/breakpoint2_2x.png) 2 8 2 2;
  58. }
  59. .cm-breakpoint.cm-breakpoint-conditional .CodeMirror-linenumber {
  60. -webkit-border-image: url(Images/breakpointConditional2_2x.png) 2 8 2 2;
  61. }
  62. } /* media */
  63. .cm-breakpoint-disabled .CodeMirror-linenumber {
  64. opacity: 0.5;
  65. }
  66. .CodeMirror-matchingbracket {
  67. border-bottom: 1px solid black;
  68. color: #222 !important;
  69. }
  70. .CodeMirror-nonmatchingbracket {
  71. color: #222 !important;
  72. }
  73. .cm-whitespace::before {
  74. position: absolute;
  75. pointer-events: none;
  76. color: rgb(175, 175, 175);
  77. }
  78. .cm-tab {
  79. position: relative;
  80. }
  81. .cm-tab:before {
  82. display: none;
  83. content: ".";
  84. color: transparent;
  85. border-bottom: 1px solid rgb(175, 175, 175);
  86. position: absolute;
  87. width: 90%;
  88. bottom: 50%;
  89. left: 5%;
  90. }
  91. .cm-execution-line {
  92. background-color: rgb(171, 191, 254) !important;
  93. outline: 1px solid rgb(64, 115, 244);
  94. }
  95. .cm-execution-line .CodeMirror-linenumber {
  96. border-right: 1px solid rgb(64, 115, 244);
  97. }
  98. .cm-token-highlight {
  99. position: relative;
  100. }
  101. .cm-token-highlight:before {
  102. position: absolute;
  103. border: 1px solid gray;
  104. border-radius: 3px;
  105. top: 0px;
  106. bottom: -1px;
  107. left: 0px;
  108. right: 0px;
  109. content: "";
  110. }
  111. .cm-line-with-selection .cm-column-with-selection:before {
  112. border: none;
  113. }
  114. .cm-search-highlight {
  115. position: relative;
  116. }
  117. .cm-search-highlight:before {
  118. position: absolute;
  119. border-top-style: solid;
  120. border-bottom-style: solid;
  121. border-top-color: gray;
  122. border-bottom-color: gray;
  123. border-top-width: 1px;
  124. border-bottom-width: 1px;
  125. top: -1px;
  126. bottom: 0px;
  127. left: 0px;
  128. right: 0px;
  129. content: "";
  130. }
  131. .cm-search-highlight-full:before {
  132. border: 1px solid gray;
  133. border-radius: 3px;
  134. }
  135. .cm-search-highlight-start:before {
  136. border-left-width: 1px;
  137. border-top-left-radius: 2px;
  138. border-bottom-left-radius: 2px;
  139. border-left-style: solid;
  140. border-left-color: gray;
  141. }
  142. .cm-search-highlight-end:before {
  143. border-right-width: 1px;
  144. border-top-right-radius: 2px;
  145. border-bottom-right-radius: 2px;
  146. border-right-style: solid;
  147. border-right-color: gray;
  148. }
  149. .cm-line-with-selection .cm-column-with-selection.cm-search-highlight-full:before {
  150. border-radius: 1px;
  151. }
  152. .cm-line-with-selection .cm-column-with-selection.cm-search-highlight-start:before {
  153. border-top-left-radius: 1px;
  154. border-bottom-left-radius: 1px;
  155. }
  156. .cm-line-with-selection .cm-column-with-selection.cm-search-highlight-end:before {
  157. border-top-right-radius: 1px;
  158. border-bottom-right-radius: 1px;
  159. }
  160. .cm-line-with-selection .cm-column-with-selection.cm-search-highlight:before {
  161. margin: -1px -1px -1px -1px;
  162. background-color: rgb(241, 234, 0);
  163. z-index: -1;
  164. }
  165. .CodeMirror .webkit-html-message-bubble {
  166. box-shadow: black 0px 2px 5px;
  167. border-radius: 9px;
  168. -webkit-border-fit: lines;
  169. font-size: 10px;
  170. font-family: Lucida Grande, sans-serif;
  171. font-weight: bold;
  172. margin: 3px 10px;
  173. padding: 1px 2px 0;
  174. z-index: 5;
  175. }
  176. .CodeMirror .webkit-html-message-bubble img {
  177. position: relative;
  178. top: 1px;
  179. margin-right: 2px;
  180. }
  181. .CodeMirror .webkit-html-warning-message {
  182. background-color: rgb(100%, 62%, 42%);
  183. border: 2px solid rgb(100%, 52%, 21%);
  184. }
  185. .CodeMirror .webkit-html-error-message {
  186. background-color: rgb(100%, 42%, 42%);
  187. border: 2px solid rgb(100%, 31%, 31%);
  188. }