1/* BASICS */ 2 3.CodeMirror { 4 /* Set height, width, borders, and global font properties here */ 5 font-family: monospace; 6 height: 300px; 7} 8.CodeMirror-scroll { 9 /* Set scrolling behaviour here */ 10 overflow: auto; 11} 12 13/* PADDING */ 14 15.CodeMirror-lines { 16 padding: 4px 0; /* Vertical padding around content */ 17} 18.CodeMirror pre { 19 padding: 0 4px; /* Horizontal padding of content */ 20} 21 22.CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler { 23 background-color: white; /* The little square between H and V scrollbars */ 24} 25 26/* GUTTER */ 27 28.CodeMirror-gutters { 29 border-right: 1px solid #ddd; 30 background-color: #f7f7f7; 31 white-space: nowrap; 32} 33.CodeMirror-linenumbers {} 34.CodeMirror-linenumber { 35 padding: 0 3px 0 5px; 36 min-width: 20px; 37 text-align: right; 38 color: #999; 39} 40 41/* CURSOR */ 42 43.CodeMirror div.CodeMirror-cursor { 44 border-left: 1px solid black; 45 z-index: 3; 46} 47/* Shown when moving in bi-directional text */ 48.CodeMirror div.CodeMirror-secondarycursor { 49 border-left: 1px solid silver; 50} 51.CodeMirror.cm-keymap-fat-cursor div.CodeMirror-cursor { 52 width: auto; 53 border: 0; 54 background: #7e7; 55 z-index: 1; 56} 57/* Can style cursor different in overwrite (non-insert) mode */ 58.CodeMirror div.CodeMirror-cursor.CodeMirror-overwrite {} 59 60.cm-tab { display: inline-block; } 61 62/* DEFAULT THEME */ 63 64.cm-s-default .cm-keyword {color: #708;} 65.cm-s-default .cm-atom {color: #219;} 66.cm-s-default .cm-number {color: #164;} 67.cm-s-default .cm-def {color: #00f;} 68.cm-s-default .cm-variable {color: black;} 69.cm-s-default .cm-variable-2 {color: #05a;} 70.cm-s-default .cm-variable-3 {color: #085;} 71.cm-s-default .cm-property {color: black;} 72.cm-s-default .cm-operator {color: black;} 73.cm-s-default .cm-comment {color: #a50;} 74.cm-s-default .cm-string {color: #a11;} 75.cm-s-default .cm-string-2 {color: #f50;} 76.cm-s-default .cm-meta {color: #555;} 77.cm-s-default .cm-error {color: #f00;} 78.cm-s-default .cm-qualifier {color: #555;} 79.cm-s-default .cm-builtin {color: #30a;} 80.cm-s-default .cm-bracket {color: #997;} 81.cm-s-default .cm-tag {color: #170;} 82.cm-s-default .cm-attribute {color: #00c;} 83.cm-s-default .cm-header {color: blue;} 84.cm-s-default .cm-quote {color: #090;} 85.cm-s-default .cm-hr {color: #999;} 86.cm-s-default .cm-link {color: #00c;} 87 88.cm-negative {color: #d44;} 89.cm-positive {color: #292;} 90.cm-header, .cm-strong {font-weight: bold;} 91.cm-em {font-style: italic;} 92.cm-link {text-decoration: underline;} 93 94.cm-invalidchar {color: #f00;} 95 96div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;} 97div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;} 98.CodeMirror-activeline-background {background: #e8f2ff;} 99 100/* STOP */ 101 102/* The rest of this file contains styles related to the mechanics of 103 the editor. You probably shouldn't touch them. */ 104 105.CodeMirror { 106 line-height: 1; 107 position: relative; 108 overflow: hidden; 109 background: white; 110 color: black; 111} 112 113.CodeMirror-scroll { 114 /* 30px is the magic margin used to hide the element's real scrollbars */ 115 /* See overflow: hidden in .CodeMirror */ 116 margin-bottom: -30px; margin-right: -30px; 117 padding-bottom: 30px; padding-right: 30px; 118 height: 100%; 119 outline: none; /* Prevent dragging from highlighting the element */ 120 position: relative; 121 -moz-box-sizing: content-box; 122 box-sizing: content-box; 123} 124.CodeMirror-sizer { 125 position: relative; 126} 127 128/* The fake, visible scrollbars. Used to force redraw during scrolling 129 before actuall scrolling happens, thus preventing shaking and 130 flickering artifacts. */ 131.CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler { 132 position: absolute; 133 z-index: 6; 134 display: none; 135} 136.CodeMirror-vscrollbar { 137 right: 0; top: 0; 138 overflow-x: hidden; 139 overflow-y: scroll; 140} 141.CodeMirror-hscrollbar { 142 bottom: 0; left: 0; 143 overflow-y: hidden; 144 overflow-x: scroll; 145} 146.CodeMirror-scrollbar-filler { 147 right: 0; bottom: 0; 148} 149.CodeMirror-gutter-filler { 150 left: 0; bottom: 0; 151} 152 153.CodeMirror-gutters { 154 position: absolute; left: 0; top: 0; 155 padding-bottom: 30px; 156 z-index: 3; 157} 158.CodeMirror-gutter { 159 white-space: normal; 160 height: 100%; 161 -moz-box-sizing: content-box; 162 box-sizing: content-box; 163 padding-bottom: 30px; 164 margin-bottom: -32px; 165 display: inline-block; 166 /* Hack to make IE7 behave */ 167 *zoom:1; 168 *display:inline; 169} 170.CodeMirror-gutter-elt { 171 position: absolute; 172 cursor: default; 173 z-index: 4; 174} 175 176.CodeMirror-lines { 177 cursor: text; 178} 179.CodeMirror pre { 180 /* Reset some styles that the rest of the page might have set */ 181 -moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0; 182 border-width: 0; 183 background: transparent; 184 font-family: inherit; 185 font-size: inherit; 186 margin: 0; 187 white-space: pre; 188 word-wrap: normal; 189 line-height: inherit; 190 color: inherit; 191 z-index: 2; 192 position: relative; 193 overflow: visible; 194} 195.CodeMirror-wrap pre { 196 word-wrap: break-word; 197 white-space: pre-wrap; 198 word-break: normal; 199} 200.CodeMirror-code pre { 201 border-right: 30px solid transparent; 202 width: -webkit-fit-content; 203 width: -moz-fit-content; 204 width: fit-content; 205} 206.CodeMirror-wrap .CodeMirror-code pre { 207 border-right: none; 208 width: auto; 209} 210.CodeMirror-linebackground { 211 position: absolute; 212 left: 0; right: 0; top: 0; bottom: 0; 213 z-index: 0; 214} 215 216.CodeMirror-linewidget { 217 position: relative; 218 z-index: 2; 219 overflow: auto; 220} 221 222.CodeMirror-widget {} 223 224.CodeMirror-wrap .CodeMirror-scroll { 225 overflow-x: hidden; 226} 227 228.CodeMirror-measure { 229 position: absolute; 230 width: 100%; 231 height: 0; 232 overflow: hidden; 233 visibility: hidden; 234} 235.CodeMirror-measure pre { position: static; } 236 237.CodeMirror div.CodeMirror-cursor { 238 position: absolute; 239 visibility: hidden; 240 border-right: none; 241 width: 0; 242} 243.CodeMirror-focused div.CodeMirror-cursor { 244 visibility: visible; 245} 246 247.CodeMirror-selected { background: #d9d9d9; } 248.CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; } 249 250.cm-searching { 251 background: #ffa; 252 background: rgba(255, 255, 0, .4); 253} 254 255/* IE7 hack to prevent it from returning funny offsetTops on the spans */ 256.CodeMirror span { *vertical-align: text-bottom; } 257 258@media print { 259 /* Hide the cursor when printing */ 260 .CodeMirror div.CodeMirror-cursor { 261 visibility: hidden; 262 } 263} 264