textEditor.css 4.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220
  1. .text-editor {
  2. position: absolute;
  3. top:0;
  4. left:0;
  5. right:0;
  6. bottom:0;
  7. white-space: pre;
  8. overflow: auto;
  9. }
  10. .text-editor-lines {
  11. position: absolute;
  12. top: 0;
  13. left: 0;
  14. bottom: 0;
  15. overflow: hidden;
  16. -webkit-user-select: none;
  17. background-color: rgb(240, 240, 240);
  18. border-right: 1px solid rgb(187, 187, 187);
  19. min-width: 19px;
  20. }
  21. .text-editor-contents {
  22. position: absolute;
  23. top: 0;
  24. left: 0;
  25. right: 0;
  26. bottom: 0;
  27. overflow: auto;
  28. -webkit-user-select: text;
  29. }
  30. .webkit-line-content > .text-editor-overlay-highlight {
  31. position: absolute;
  32. pointer-events: none;
  33. -webkit-user-select: none;
  34. z-index: 1;
  35. }
  36. .text-editor-token-highlight {
  37. border: 1px solid gray;
  38. border-radius: 3px;
  39. }
  40. .text-editor-brace-match {
  41. border-bottom: 1px solid black;
  42. }
  43. .text-editor-contents .inner-container {
  44. position: absolute;
  45. top: 0;
  46. left: 0;
  47. right: auto;
  48. bottom: auto;
  49. min-width: 100%;
  50. }
  51. .text-editor-editable {
  52. -webkit-user-modify: read-write-plaintext-only;
  53. }
  54. .text-editor-read-only {
  55. -webkit-user-modify: read-only;
  56. background-color: rgb(240, 240, 240);
  57. }
  58. .webkit-line-decorations {
  59. pointer-events: none;
  60. -webkit-user-select: none;
  61. -webkit-user-modify: read-only;
  62. }
  63. .webkit-html-message-bubble {
  64. -webkit-box-shadow: black 0px 2px 5px;
  65. -webkit-border-radius: 9px;
  66. -webkit-border-fit: lines;
  67. font-size: 10px;
  68. font-family: Lucida Grande, sans-serif;
  69. font-weight: bold;
  70. margin: 6px 25px;
  71. padding: 0 7px 1px;
  72. z-index:20;
  73. }
  74. .webkit-html-warning-message {
  75. background-color: rgb(100%, 62%, 42%);
  76. border: 2px solid rgb(100%, 52%, 21%);
  77. }
  78. .webkit-html-error-message {
  79. background-color: rgb(100%, 42%, 42%);
  80. border: 2px solid rgb(100%, 31%, 31%);
  81. }
  82. .webkit-html-message-line {
  83. padding-left: 23px;
  84. text-indent: -20px;
  85. }
  86. .webkit-html-message-line-hover {
  87. padding-left: 23px;
  88. text-indent: -20px;
  89. white-space: auto;
  90. text-overflow: auto;
  91. overflow: auto;
  92. }
  93. .webkit-html-message-icon {
  94. position: relative;
  95. top: 2px;
  96. margin: 0 4px;
  97. }
  98. .webkit-line-number {
  99. color: rgb(128, 128, 128);
  100. text-align: right;
  101. vertical-align: top;
  102. word-break: normal;
  103. padding-right: 4px;
  104. padding-left: 6px;
  105. }
  106. .webkit-line-number-outer {
  107. margin-right: -4px;
  108. margin-left: -4px;
  109. border-color: transparent;
  110. border-style: solid;
  111. border-width: 0 0 0px 2px;
  112. vertical-align: top;
  113. }
  114. .webkit-line-number-inner {
  115. margin-right: 4px;
  116. }
  117. .webkit-breakpoint .webkit-line-number-inner, .webkit-breakpoint-conditional .webkit-line-number-inner, .webkit-execution-line .webkit-line-number-inner {
  118. margin-right: -10px;
  119. }
  120. .webkit-breakpoint .webkit-line-number-outer {
  121. color: white;
  122. border-width: 0 14px 0px 2px;
  123. -webkit-border-image: url(Images/breakpointBorder.png) 0 14 0 2;
  124. }
  125. .webkit-breakpoint-conditional .webkit-line-number-outer {
  126. color: white;
  127. border-width: 0 14px 0px 2px;
  128. -webkit-border-image: url(Images/breakpointConditionalBorder.png) 0 14 0 2;
  129. }
  130. .webkit-execution-line .webkit-line-number-outer {
  131. color: transparent;
  132. border-width: 0 14px 0px 2px;
  133. -webkit-border-image: url(Images/programCounterBorder.png) 0 14 0 2;
  134. }
  135. .webkit-breakpoint.webkit-execution-line .webkit-line-number-outer {
  136. color: white;
  137. -webkit-border-image: url(Images/breakpointCounterBorder.png) 0 14 0 2;
  138. }
  139. .webkit-breakpoint.webkit-execution-line .webkit-line-number-outer {
  140. color: transparent;
  141. -webkit-border-image: url(Images/breakpointCounterBorder.png) 0 14 0 2;
  142. }
  143. .webkit-breakpoint-conditional.webkit-execution-line .webkit-line-number-outer {
  144. color: transparent;
  145. -webkit-border-image: url(Images/breakpointConditionalCounterBorder.png) 0 14 0 2;
  146. }
  147. .webkit-breakpoint-disabled .webkit-line-number-outer {
  148. opacity: 0.5;
  149. }
  150. .breakpoints-deactivated .webkit-breakpoint .webkit-line-number-outer {
  151. opacity: 0.5;
  152. }
  153. .breakpoints-deactivated .webkit-breakpoint-disabled .webkit-line-number-outer {
  154. opacity: 0.3;
  155. }
  156. .webkit-line-content > * {
  157. position: relative;
  158. z-index: 2;
  159. }
  160. .webkit-execution-line.webkit-line-content {
  161. background-color: rgb(171, 191, 254);
  162. outline: 1px solid rgb(64, 115, 244);
  163. }
  164. .webkit-highlighted-line.webkit-line-content {
  165. -webkit-animation: "fadeout" 2s 0s;
  166. }
  167. @-webkit-keyframes fadeout {
  168. from {background-color: rgb(255, 255, 120); }
  169. to { background-color: white; }
  170. }
  171. .debug-fadeout {
  172. -webkit-animation: "debug-fadeout" 1s 0s;
  173. border: 1px solid white;
  174. margin: -1px;
  175. }
  176. @-webkit-keyframes debug-fadeout {
  177. from {
  178. border-color: black;
  179. background-color: rgb(255, 255, 120);
  180. }
  181. to {
  182. background-color: white;
  183. border-color: white
  184. }
  185. }