Subversion Repositories wimsdev

Rev

Rev 15152 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed

  1. /* BASICS */
  2.  
  3. .CodeMirror {
  4.   /* Set height, width, borders, and global font properties here */
  5.   font-family: monospace;
  6.   height: 300px;
  7.   color: black;
  8.   direction: ltr;
  9. }
  10.  
  11. /* PADDING */
  12.  
  13. .CodeMirror-lines {
  14.   padding: 4px 0; /* Vertical padding around content */
  15. }
  16. .CodeMirror pre.CodeMirror-line,
  17. .CodeMirror pre.CodeMirror-line-like {
  18.   padding: 0 4px; /* Horizontal padding of content */
  19. }
  20.  
  21. .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
  22.   background-color: white; /* The little square between H and V scrollbars */
  23. }
  24.  
  25. /* GUTTER */
  26.  
  27. .CodeMirror-gutters {
  28.   border-right: 1px solid #ddd;
  29.   background-color: #f7f7f7;
  30.   white-space: nowrap;
  31. }
  32. .CodeMirror-linenumbers {}
  33. .CodeMirror-linenumber {
  34.   padding: 0 3px 0 5px;
  35.   min-width: 20px;
  36.   text-align: right;
  37.   color: #999;
  38.   white-space: nowrap;
  39. }
  40.  
  41. .CodeMirror-guttermarker { color: black; }
  42. .CodeMirror-guttermarker-subtle { color: #999; }
  43.  
  44. /* CURSOR */
  45.  
  46. .CodeMirror-cursor {
  47.   border-left: 1px solid black;
  48.   border-right: none;
  49.   width: 0;
  50. }
  51. /* Shown when moving in bi-directional text */
  52. .CodeMirror div.CodeMirror-secondarycursor {
  53.   border-left: 1px solid silver;
  54. }
  55. .cm-fat-cursor .CodeMirror-cursor {
  56.   width: auto;
  57.   border: 0 !important;
  58.   background: #7e7;
  59. }
  60. .cm-fat-cursor div.CodeMirror-cursors {
  61.   z-index: 1;
  62. }
  63. .cm-fat-cursor-mark {
  64.   background-color: rgba(20, 255, 20, 0.5);
  65.   -webkit-animation: blink 1.06s steps(1) infinite;
  66.   -moz-animation: blink 1.06s steps(1) infinite;
  67.   animation: blink 1.06s steps(1) infinite;
  68. }
  69. .cm-animate-fat-cursor {
  70.   width: auto;
  71.   border: 0;
  72.   -webkit-animation: blink 1.06s steps(1) infinite;
  73.   -moz-animation: blink 1.06s steps(1) infinite;
  74.   animation: blink 1.06s steps(1) infinite;
  75.   background-color: #7e7;
  76. }
  77. @-moz-keyframes blink {
  78.   0% {}
  79.   50% { background-color: transparent; }
  80.   100% {}
  81. }
  82. @-webkit-keyframes blink {
  83.   0% {}
  84.   50% { background-color: transparent; }
  85.   100% {}
  86. }
  87. @keyframes blink {
  88.   0% {}
  89.   50% { background-color: transparent; }
  90.   100% {}
  91. }
  92.  
  93. /* Can style cursor different in overwrite (non-insert) mode */
  94. .CodeMirror-overwrite .CodeMirror-cursor {}
  95.  
  96. .cm-tab { display: inline-block; text-decoration: inherit; }
  97.  
  98. .CodeMirror-rulers {
  99.   position: absolute;
  100.   left: 0; right: 0; top: -50px; bottom: 0;
  101.   overflow: hidden;
  102. }
  103. .CodeMirror-ruler {
  104.   border-left: 1px solid #ccc;
  105.   top: 0; bottom: 0;
  106.   position: absolute;
  107. }
  108.  
  109. /* DEFAULT THEME */
  110.  
  111. .cm-s-default .cm-header {color: blue;}
  112. .cm-s-default .cm-quote {color: #090;}
  113. .cm-negative {color: #d44;}
  114. .cm-positive {color: #292;}
  115. .cm-header, .cm-strong {font-weight: bold;}
  116. .cm-em {font-style: italic;}
  117. .cm-link {text-decoration: underline;}
  118. .cm-strikethrough {text-decoration: line-through;}
  119.  
  120. .cm-s-default .cm-keyword {color: #708;}
  121. .cm-s-default .cm-atom {color: #219;}
  122. .cm-s-default .cm-number {color: #164;}
  123. .cm-s-default .cm-def {color: #00f;}
  124. .cm-s-default .cm-variable,
  125. .cm-s-default .cm-punctuation,
  126. .cm-s-default .cm-property,
  127. .cm-s-default .cm-operator {}
  128. .cm-s-default .cm-variable-2 {color: #05a;}
  129. .cm-s-default .cm-variable-3, .cm-s-default .cm-type {color: #085;}
  130. .cm-s-default .cm-comment {color: #a50;}
  131. .cm-s-default .cm-string {color: #a11;}
  132. .cm-s-default .cm-string-2 {color: #f50;}
  133. .cm-s-default .cm-meta {color: #555;}
  134. .cm-s-default .cm-qualifier {color: #555;}
  135. .cm-s-default .cm-builtin {color: #30a;}
  136. .cm-s-default .cm-bracket {color: #997;}
  137. .cm-s-default .cm-tag {color: #170;}
  138. .cm-s-default .cm-attribute {color: #00c;}
  139. .cm-s-default .cm-hr {color: #999;}
  140. .cm-s-default .cm-link {color: #00c;}
  141.  
  142. .cm-s-default .cm-error {color: #f00;}
  143. .cm-invalidchar {color: #f00;}
  144.  
  145. .CodeMirror-composing { border-bottom: 2px solid; }
  146.  
  147. /* Default styles for common addons */
  148.  
  149. div.CodeMirror span.CodeMirror-matchingbracket {color: #0b0;}
  150. div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #a22;}
  151. .CodeMirror-matchingtag { background: rgba(255, 150, 0, .3); }
  152. .CodeMirror-activeline-background {background: #e8f2ff;}
  153.  
  154. /* STOP */
  155.  
  156. /* The rest of this file contains styles related to the mechanics of
  157.    the editor. You probably shouldn't touch them. */
  158.  
  159. .CodeMirror {
  160.   position: relative;
  161.   overflow: hidden;
  162.   background: white;
  163. }
  164.  
  165. .CodeMirror-scroll {
  166.   overflow: scroll !important; /* Things will break if this is overridden */
  167.   /* 30px is the magic margin used to hide the element's real scrollbars */
  168.   /* See overflow: hidden in .CodeMirror */
  169.   margin-bottom: -30px; margin-right: -30px;
  170.   padding-bottom: 30px;
  171.   height: 100%;
  172.   outline: none; /* Prevent dragging from highlighting the element */
  173.   position: relative;
  174. }
  175. .CodeMirror-sizer {
  176.   position: relative;
  177.   border-right: 30px solid transparent;
  178. }
  179.  
  180. /* The fake, visible scrollbars. Used to force redraw during scrolling
  181.    before actual scrolling happens, thus preventing shaking and
  182.    flickering artifacts. */
  183. .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
  184.   position: absolute;
  185.   z-index: 6;
  186.   display: none;
  187. }
  188. .CodeMirror-vscrollbar {
  189.   right: 0; top: 0;
  190.   overflow-x: hidden;
  191.   overflow-y: scroll;
  192. }
  193. .CodeMirror-hscrollbar {
  194.   bottom: 0; left: 0;
  195.   overflow-y: hidden;
  196.   overflow-x: scroll;
  197. }
  198. .CodeMirror-scrollbar-filler {
  199.   right: 0; bottom: 0;
  200. }
  201. .CodeMirror-gutter-filler {
  202.   left: 0; bottom: 0;
  203. }
  204.  
  205. .CodeMirror-gutters {
  206.   position: absolute; left: 0; top: 0;
  207.   min-height: 100%;
  208.   z-index: 3;
  209. }
  210. .CodeMirror-gutter {
  211.   white-space: normal;
  212.   height: 100%;
  213.   display: inline-block;
  214.   vertical-align: top;
  215.   margin-bottom: -30px;
  216. }
  217. .CodeMirror-gutter-wrapper {
  218.   position: absolute;
  219.   z-index: 4;
  220.   background: none !important;
  221.   border: none !important;
  222. }
  223. .CodeMirror-gutter-background {
  224.   position: absolute;
  225.   top: 0; bottom: 0;
  226.   z-index: 4;
  227. }
  228. .CodeMirror-gutter-elt {
  229.   position: absolute;
  230.   cursor: default;
  231.   z-index: 4;
  232. }
  233. .CodeMirror-gutter-wrapper ::selection { background-color: transparent }
  234. .CodeMirror-gutter-wrapper ::-moz-selection { background-color: transparent }
  235.  
  236. .CodeMirror-lines {
  237.   cursor: text;
  238.   min-height: 1px; /* prevents collapsing before first draw */
  239. }
  240. .CodeMirror pre.CodeMirror-line,
  241. .CodeMirror pre.CodeMirror-line-like {
  242.   /* Reset some styles that the rest of the page might have set */
  243.   -moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0;
  244.   border-width: 0;
  245.   background: transparent;
  246.   font-family: inherit;
  247.   font-size: inherit;
  248.   margin: 0;
  249.   white-space: pre;
  250.   word-wrap: normal;
  251.   line-height: inherit;
  252.   color: inherit;
  253.   z-index: 2;
  254.   position: relative;
  255.   overflow: visible;
  256.   -webkit-tap-highlight-color: transparent;
  257.   -webkit-font-variant-ligatures: contextual;
  258.   font-variant-ligatures: contextual;
  259. }
  260. .CodeMirror-wrap pre.CodeMirror-line,
  261. .CodeMirror-wrap pre.CodeMirror-line-like {
  262.   word-wrap: break-word;
  263.   white-space: pre-wrap;
  264.   word-break: normal;
  265. }
  266.  
  267. .CodeMirror-linebackground {
  268.   position: absolute;
  269.   left: 0; right: 0; top: 0; bottom: 0;
  270.   z-index: 0;
  271. }
  272.  
  273. .CodeMirror-linewidget {
  274.   position: relative;
  275.   z-index: 2;
  276.   padding: 0.1px; /* Force widget margins to stay inside of the container */
  277. }
  278.  
  279. .CodeMirror-widget {}
  280.  
  281. .CodeMirror-rtl pre { direction: rtl; }
  282.  
  283. .CodeMirror-code {
  284.   outline: none;
  285. }
  286.  
  287. /* Force content-box sizing for the elements where we expect it */
  288. .CodeMirror-scroll,
  289. .CodeMirror-sizer,
  290. .CodeMirror-gutter,
  291. .CodeMirror-gutters,
  292. .CodeMirror-linenumber {
  293.   -moz-box-sizing: content-box;
  294.   box-sizing: content-box;
  295. }
  296.  
  297. .CodeMirror-measure {
  298.   position: absolute;
  299.   width: 100%;
  300.   height: 0;
  301.   overflow: hidden;
  302.   visibility: hidden;
  303. }
  304.  
  305. .CodeMirror-cursor {
  306.   position: absolute;
  307.   pointer-events: none;
  308. }
  309. .CodeMirror-measure pre { position: static; }
  310.  
  311. div.CodeMirror-cursors {
  312.   visibility: hidden;
  313.   position: relative;
  314.   z-index: 3;
  315. }
  316. div.CodeMirror-dragcursors {
  317.   visibility: visible;
  318. }
  319.  
  320. .CodeMirror-focused div.CodeMirror-cursors {
  321.   visibility: visible;
  322. }
  323.  
  324. .CodeMirror-selected { background: #d9d9d9; }
  325. .CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; }
  326. .CodeMirror-crosshair { cursor: crosshair; }
  327. .CodeMirror-line::selection, .CodeMirror-line > span::selection, .CodeMirror-line > span > span::selection { background: #d7d4f0; }
  328. .CodeMirror-line::-moz-selection, .CodeMirror-line > span::-moz-selection, .CodeMirror-line > span > span::-moz-selection { background: #d7d4f0; }
  329.  
  330. .cm-searching {
  331.   background-color: #ffa;
  332.   background-color: rgba(255, 255, 0, .4);
  333. }
  334.  
  335. /* Used to force a border model for a node */
  336. .cm-force-border { padding-right: .1px; }
  337.  
  338. @media print {
  339.   /* Hide the cursor when printing */
  340.   .CodeMirror div.CodeMirror-cursors {
  341.     visibility: hidden;
  342.   }
  343. }
  344.  
  345. /* See issue #2901 */
  346. .cm-tab-wrap-hack:after { content: ''; }
  347.  
  348. /* Help users use markselection to safely style text background */
  349. span.CodeMirror-selectedtext { background: none; }
  350.