/* BASICS */

[0] Fix | Delete

[1] Fix | Delete

.CodeMirror {

[2] Fix | Delete

/* Set height, width, borders, and global font properties here */

[3] Fix | Delete

font-family: monospace;

[4] Fix | Delete

height: 300px;

[5] Fix | Delete

}

[6] Fix | Delete

.CodeMirror-scroll {

[7] Fix | Delete

/* Set scrolling behaviour here */

[8] Fix | Delete

overflow: auto;

[9] Fix | Delete

}

[10] Fix | Delete

[11] Fix | Delete

/* PADDING */

[12] Fix | Delete

[13] Fix | Delete

.CodeMirror-lines {

[14] Fix | Delete

padding: 4px 0; /* Vertical padding around content */

[15] Fix | Delete

}

[16] Fix | Delete

.CodeMirror pre {

[17] Fix | Delete

padding: 0 4px; /* Horizontal padding of content */

[18] Fix | Delete

}

[19] Fix | Delete

[20] Fix | Delete

.CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {

[21] Fix | Delete

background-color: white; /* The little square between H and V scrollbars */

[22] Fix | Delete

}

[23] Fix | Delete

[24] Fix | Delete

/* GUTTER */

[25] Fix | Delete

[26] Fix | Delete

.CodeMirror-gutters {

[27] Fix | Delete

border-right: 1px solid #ddd;

[28] Fix | Delete

background-color: #f7f7f7;

[29] Fix | Delete

white-space: nowrap;

[30] Fix | Delete

}

[31] Fix | Delete

.CodeMirror-linenumbers {}

[32] Fix | Delete

.CodeMirror-linenumber {

[33] Fix | Delete

padding: 0 3px 0 5px;

[34] Fix | Delete

min-width: 20px;

[35] Fix | Delete

text-align: right;

[36] Fix | Delete

color: #999;

[37] Fix | Delete

}

[38] Fix | Delete

[39] Fix | Delete

/* CURSOR */

[40] Fix | Delete

[41] Fix | Delete

.CodeMirror div.CodeMirror-cursor {

[42] Fix | Delete

border-left: 1px solid black;

[43] Fix | Delete

z-index: 3;

[44] Fix | Delete

}

[45] Fix | Delete

/* Shown when moving in bi-directional text */

[46] Fix | Delete

.CodeMirror div.CodeMirror-secondarycursor {

[47] Fix | Delete

border-left: 1px solid silver;

[48] Fix | Delete

}

[49] Fix | Delete

.CodeMirror.cm-keymap-fat-cursor div.CodeMirror-cursor {

[50] Fix | Delete

width: auto;

[51] Fix | Delete

border: 0;

[52] Fix | Delete

background: #7e7;

[53] Fix | Delete

z-index: 1;

[54] Fix | Delete

}

[55] Fix | Delete

/* Can style cursor different in overwrite (non-insert) mode */

[56] Fix | Delete

.CodeMirror div.CodeMirror-cursor.CodeMirror-overwrite {}

[57] Fix | Delete

[58] Fix | Delete

.cm-tab { display: inline-block; }

[59] Fix | Delete

[60] Fix | Delete

/* DEFAULT THEME */

[61] Fix | Delete

[62] Fix | Delete

.cm-s-default .cm-keyword {color: #708;}

[63] Fix | Delete

.cm-s-default .cm-atom {color: #219;}

[64] Fix | Delete

.cm-s-default .cm-number {color: #164;}

[65] Fix | Delete

.cm-s-default .cm-def {color: #00f;}

[66] Fix | Delete

.cm-s-default .cm-variable {color: black;}

[67] Fix | Delete

.cm-s-default .cm-variable-2 {color: #05a;}

[68] Fix | Delete

.cm-s-default .cm-variable-3 {color: #085;}

[69] Fix | Delete

.cm-s-default .cm-property {color: black;}

[70] Fix | Delete

.cm-s-default .cm-operator {color: black;}

[71] Fix | Delete

.cm-s-default .cm-comment {color: #a50;}

[72] Fix | Delete

.cm-s-default .cm-string {color: #a11;}

[73] Fix | Delete

.cm-s-default .cm-string-2 {color: #f50;}

[74] Fix | Delete

.cm-s-default .cm-meta {color: #555;}

[75] Fix | Delete

.cm-s-default .cm-qualifier {color: #555;}

[76] Fix | Delete

.cm-s-default .cm-builtin {color: #30a;}

[77] Fix | Delete

.cm-s-default .cm-bracket {color: #997;}

[78] Fix | Delete

.cm-s-default .cm-tag {color: #170;}

[79] Fix | Delete

.cm-s-default .cm-attribute {color: #00c;}

[80] Fix | Delete

.cm-s-default .cm-header {color: blue;}

[81] Fix | Delete

.cm-s-default .cm-quote {color: #090;}

[82] Fix | Delete

.cm-s-default .cm-hr {color: #999;}

[83] Fix | Delete

.cm-s-default .cm-link {color: #00c;}

[84] Fix | Delete

[85] Fix | Delete

.cm-negative {color: #d44;}

[86] Fix | Delete

.cm-positive {color: #292;}

[87] Fix | Delete

.cm-header, .cm-strong {font-weight: bold;}

[88] Fix | Delete

.cm-em {font-style: italic;}

[89] Fix | Delete

.cm-link {text-decoration: underline;}

[90] Fix | Delete

[91] Fix | Delete

.cm-s-default .cm-error {color: #f00;}

[92] Fix | Delete

.cm-invalidchar {color: #f00;}

[93] Fix | Delete

[94] Fix | Delete

div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;}

[95] Fix | Delete

div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}

[96] Fix | Delete

.CodeMirror-activeline-background {background: #e8f2ff;}

[97] Fix | Delete

[98] Fix | Delete

/* STOP */

[99] Fix | Delete

[100] Fix | Delete

/* The rest of this file contains styles related to the mechanics of

[101] Fix | Delete

the editor. You probably shouldn't touch them. */

[102] Fix | Delete

[103] Fix | Delete

.CodeMirror {

[104] Fix | Delete

line-height: 1;

[105] Fix | Delete

position: relative;

[106] Fix | Delete

overflow: hidden;

[107] Fix | Delete

background: white;

[108] Fix | Delete

color: black;

[109] Fix | Delete

}

[110] Fix | Delete

[111] Fix | Delete

.CodeMirror-scroll {

[112] Fix | Delete

/* 30px is the magic margin used to hide the element's real scrollbars */

[113] Fix | Delete

/* See overflow: hidden in .CodeMirror */

[114] Fix | Delete

margin-bottom: -30px; margin-right: -30px;

[115] Fix | Delete

padding-bottom: 30px; padding-right: 30px;

[116] Fix | Delete

height: 100%;

[117] Fix | Delete

outline: none; /* Prevent dragging from highlighting the element */

[118] Fix | Delete

position: relative;

[119] Fix | Delete

-moz-box-sizing: content-box;

[120] Fix | Delete

box-sizing: content-box;

[121] Fix | Delete

}

[122] Fix | Delete

.CodeMirror-sizer {

[123] Fix | Delete

position: relative;

[124] Fix | Delete

}

[125] Fix | Delete

[126] Fix | Delete

/* The fake, visible scrollbars. Used to force redraw during scrolling

[127] Fix | Delete

before actuall scrolling happens, thus preventing shaking and

[128] Fix | Delete

flickering artifacts. */

[129] Fix | Delete

.CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {

[130] Fix | Delete

position: absolute;

[131] Fix | Delete

z-index: 6;

[132] Fix | Delete

display: none;

[133] Fix | Delete

}

[134] Fix | Delete

.CodeMirror-vscrollbar {

[135] Fix | Delete

right: 0; top: 0;

[136] Fix | Delete

overflow-x: hidden;

[137] Fix | Delete

overflow-y: scroll;

[138] Fix | Delete

}

[139] Fix | Delete

.CodeMirror-hscrollbar {

[140] Fix | Delete

bottom: 0; left: 0;

[141] Fix | Delete

overflow-y: hidden;

[142] Fix | Delete

overflow-x: scroll;

[143] Fix | Delete

}

[144] Fix | Delete

.CodeMirror-scrollbar-filler {

[145] Fix | Delete

right: 0; bottom: 0;

[146] Fix | Delete

}

[147] Fix | Delete

.CodeMirror-gutter-filler {

[148] Fix | Delete

left: 0; bottom: 0;

[149] Fix | Delete

}

[150] Fix | Delete

[151] Fix | Delete

.CodeMirror-gutters {

[152] Fix | Delete

position: absolute; left: 0; top: 0;

[153] Fix | Delete

padding-bottom: 30px;

[154] Fix | Delete

z-index: 3;

[155] Fix | Delete

}

[156] Fix | Delete

.CodeMirror-gutter {

[157] Fix | Delete

white-space: normal;

[158] Fix | Delete

height: 100%;

[159] Fix | Delete

-moz-box-sizing: content-box;

[160] Fix | Delete

box-sizing: content-box;

[161] Fix | Delete

padding-bottom: 30px;

[162] Fix | Delete

margin-bottom: -32px;

[163] Fix | Delete

display: inline-block;

[164] Fix | Delete

/* Hack to make IE7 behave */

[165] Fix | Delete

*zoom:1;

[166] Fix | Delete

*display:inline;

[167] Fix | Delete

}

[168] Fix | Delete

.CodeMirror-gutter-elt {

[169] Fix | Delete

position: absolute;

[170] Fix | Delete

cursor: default;

[171] Fix | Delete

z-index: 4;

[172] Fix | Delete

}

[173] Fix | Delete

[174] Fix | Delete

.CodeMirror-lines {

[175] Fix | Delete

cursor: text;

[176] Fix | Delete

}

[177] Fix | Delete

.CodeMirror pre {

[178] Fix | Delete

/* Reset some styles that the rest of the page might have set */

[179] Fix | Delete

-moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0;

[180] Fix | Delete

border-width: 0;

[181] Fix | Delete

background: transparent;

[182] Fix | Delete

font-family: inherit;

[183] Fix | Delete

font-size: inherit;

[184] Fix | Delete

margin: 0;

[185] Fix | Delete

white-space: pre;

[186] Fix | Delete

word-wrap: normal;

[187] Fix | Delete

line-height: inherit;

[188] Fix | Delete

color: inherit;

[189] Fix | Delete

z-index: 2;

[190] Fix | Delete

position: relative;

[191] Fix | Delete

overflow: visible;

[192] Fix | Delete

}

[193] Fix | Delete

.CodeMirror-wrap pre {

[194] Fix | Delete

word-wrap: break-word;

[195] Fix | Delete

white-space: pre-wrap;

[196] Fix | Delete

word-break: normal;

[197] Fix | Delete

}

[198] Fix | Delete

.CodeMirror-code pre {

[199] Fix | Delete

border-right: 30px solid transparent;

[200] Fix | Delete

width: -webkit-fit-content;

[201] Fix | Delete

width: -moz-fit-content;

[202] Fix | Delete

width: fit-content;

[203] Fix | Delete

}

[204] Fix | Delete

.CodeMirror-wrap .CodeMirror-code pre {

[205] Fix | Delete

border-right: none;

[206] Fix | Delete

width: auto;

[207] Fix | Delete

}

[208] Fix | Delete

.CodeMirror-linebackground {

[209] Fix | Delete

position: absolute;

[210] Fix | Delete

left: 0; right: 0; top: 0; bottom: 0;

[211] Fix | Delete

z-index: 0;

[212] Fix | Delete

}

[213] Fix | Delete

[214] Fix | Delete

.CodeMirror-linewidget {

[215] Fix | Delete

position: relative;

[216] Fix | Delete

z-index: 2;

[217] Fix | Delete

overflow: auto;

[218] Fix | Delete

}

[219] Fix | Delete

[220] Fix | Delete

.CodeMirror-widget {}

[221] Fix | Delete

[222] Fix | Delete

.CodeMirror-wrap .CodeMirror-scroll {

[223] Fix | Delete

overflow-x: hidden;

[224] Fix | Delete

}

[225] Fix | Delete

[226] Fix | Delete

.CodeMirror-measure {

[227] Fix | Delete

position: absolute;

[228] Fix | Delete

width: 100%;

[229] Fix | Delete

height: 0;

[230] Fix | Delete

overflow: hidden;

[231] Fix | Delete

visibility: hidden;

[232] Fix | Delete

}

[233] Fix | Delete

.CodeMirror-measure pre { position: static; }

[234] Fix | Delete

[235] Fix | Delete

.CodeMirror div.CodeMirror-cursor {

[236] Fix | Delete

position: absolute;

[237] Fix | Delete

visibility: hidden;

[238] Fix | Delete

border-right: none;

[239] Fix | Delete

width: 0;

[240] Fix | Delete

}

[241] Fix | Delete

.CodeMirror-focused div.CodeMirror-cursor {

[242] Fix | Delete

visibility: visible;

[243] Fix | Delete

}

[244] Fix | Delete

[245] Fix | Delete

.CodeMirror-selected { background: #d9d9d9; }

[246] Fix | Delete

.CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; }

[247] Fix | Delete

[248] Fix | Delete

.cm-searching {

[249] Fix | Delete

background: #ffa;

[250] Fix | Delete

background: rgba(255, 255, 0, .4);

[251] Fix | Delete

}

[252] Fix | Delete

[253] Fix | Delete

/* IE7 hack to prevent it from returning funny offsetTops on the spans */

[254] Fix | Delete

.CodeMirror span { *vertical-align: text-bottom; }

[255] Fix | Delete

[256] Fix | Delete

@media print {

[257] Fix | Delete

/* Hide the cursor when printing */

[258] Fix | Delete

.CodeMirror div.CodeMirror-cursor {

[259] Fix | Delete

visibility: hidden;

[260] Fix | Delete

}

[261] Fix | Delete

}

[262] Fix | Delete