--- /dev/null
+/* BASICS */\r
+\r
+.CodeMirror {\r
+ /* Set height, width, borders, and global font properties here */\r
+ font-family: monospace;\r
+ height: 300px;\r
+ color: black;\r
+}\r
+\r
+/* PADDING */\r
+\r
+.CodeMirror-lines {\r
+ padding: 4px 0; /* Vertical padding around content */\r
+}\r
+.CodeMirror pre {\r
+ padding: 0 4px; /* Horizontal padding of content */\r
+}\r
+\r
+.CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {\r
+ background-color: white; /* The little square between H and V scrollbars */\r
+}\r
+\r
+/* GUTTER */\r
+\r
+.CodeMirror-gutters {\r
+ border-right: 1px solid #ddd;\r
+ background-color: #f7f7f7;\r
+ white-space: nowrap;\r
+}\r
+.CodeMirror-linenumbers {}\r
+.CodeMirror-linenumber {\r
+ padding: 0 3px 0 5px;\r
+ min-width: 20px;\r
+ text-align: right;\r
+ color: #999;\r
+ white-space: nowrap;\r
+}\r
+\r
+.CodeMirror-guttermarker { color: black; }\r
+.CodeMirror-guttermarker-subtle { color: #999; }\r
+\r
+/* CURSOR */\r
+\r
+.CodeMirror div.CodeMirror-cursor {\r
+ border-left: 1px solid black;\r
+}\r
+/* Shown when moving in bi-directional text */\r
+.CodeMirror div.CodeMirror-secondarycursor {\r
+ border-left: 1px solid silver;\r
+}\r
+.CodeMirror.cm-fat-cursor div.CodeMirror-cursor {\r
+ width: auto;\r
+ border: 0;\r
+ background: #7e7;\r
+}\r
+.CodeMirror.cm-fat-cursor div.CodeMirror-cursors {\r
+ z-index: 1;\r
+}\r
+\r
+.cm-animate-fat-cursor {\r
+ width: auto;\r
+ border: 0;\r
+ -webkit-animation: blink 1.06s steps(1) infinite;\r
+ -moz-animation: blink 1.06s steps(1) infinite;\r
+ animation: blink 1.06s steps(1) infinite;\r
+}\r
+@-moz-keyframes blink {\r
+ 0% { background: #7e7; }\r
+ 50% { background: none; }\r
+ 100% { background: #7e7; }\r
+}\r
+@-webkit-keyframes blink {\r
+ 0% { background: #7e7; }\r
+ 50% { background: none; }\r
+ 100% { background: #7e7; }\r
+}\r
+@keyframes blink {\r
+ 0% { background: #7e7; }\r
+ 50% { background: none; }\r
+ 100% { background: #7e7; }\r
+}\r
+\r
+/* Can style cursor different in overwrite (non-insert) mode */\r
+div.CodeMirror-overwrite div.CodeMirror-cursor {}\r
+\r
+.cm-tab { display: inline-block; text-decoration: inherit; }\r
+\r
+.CodeMirror-ruler {\r
+ border-left: 1px solid #ccc;\r
+ position: absolute;\r
+}\r
+\r
+/* DEFAULT THEME */\r
+\r
+.cm-s-default .cm-keyword {color: #708;}\r
+.cm-s-default .cm-atom {color: #219;}\r
+.cm-s-default .cm-number {color: #164;}\r
+.cm-s-default .cm-def {color: #00f;}\r
+.cm-s-default .cm-variable,\r
+.cm-s-default .cm-punctuation,\r
+.cm-s-default .cm-property,\r
+.cm-s-default .cm-operator {}\r
+.cm-s-default .cm-variable-2 {color: #05a;}\r
+.cm-s-default .cm-variable-3 {color: #085;}\r
+.cm-s-default .cm-comment {color: #a50;}\r
+.cm-s-default .cm-string {color: #a11;}\r
+.cm-s-default .cm-string-2 {color: #f50;}\r
+.cm-s-default .cm-meta {color: #555;}\r
+.cm-s-default .cm-qualifier {color: #555;}\r
+.cm-s-default .cm-builtin {color: #30a;}\r
+.cm-s-default .cm-bracket {color: #997;}\r
+.cm-s-default .cm-tag {color: #170;}\r
+.cm-s-default .cm-attribute {color: #00c;}\r
+.cm-s-default .cm-header {color: blue;}\r
+.cm-s-default .cm-quote {color: #090;}\r
+.cm-s-default .cm-hr {color: #999;}\r
+.cm-s-default .cm-link {color: #00c;}\r
+\r
+.cm-negative {color: #d44;}\r
+.cm-positive {color: #292;}\r
+.cm-header, .cm-strong {font-weight: bold;}\r
+.cm-em {font-style: italic;}\r
+.cm-link {text-decoration: underline;}\r
+.cm-strikethrough {text-decoration: line-through;}\r
+\r
+.cm-s-default .cm-error {color: #f00;}\r
+.cm-invalidchar {color: #f00;}\r
+\r
+.CodeMirror-composing { border-bottom: 2px solid; }\r
+\r
+/* Default styles for common addons */\r
+\r
+div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;}\r
+div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}\r
+.CodeMirror-matchingtag { background: rgba(255, 150, 0, .3); }\r
+.CodeMirror-activeline-background {background: #e8f2ff;}\r
+\r
+/* STOP */\r
+\r
+/* The rest of this file contains styles related to the mechanics of\r
+ the editor. You probably shouldn't touch them. */\r
+\r
+.CodeMirror {\r
+ position: relative;\r
+ overflow: hidden;\r
+ background: white;\r
+}\r
+\r
+.CodeMirror-scroll {\r
+ overflow: scroll !important; /* Things will break if this is overridden */\r
+ /* 30px is the magic margin used to hide the element's real scrollbars */\r
+ /* See overflow: hidden in .CodeMirror */\r
+ margin-bottom: -30px; margin-right: -30px;\r
+ padding-bottom: 30px;\r
+ height: 100%;\r
+ outline: none; /* Prevent dragging from highlighting the element */\r
+ position: relative;\r
+}\r
+.CodeMirror-sizer {\r
+ position: relative;\r
+ border-right: 30px solid transparent;\r
+}\r
+\r
+/* The fake, visible scrollbars. Used to force redraw during scrolling\r
+ before actuall scrolling happens, thus preventing shaking and\r
+ flickering artifacts. */\r
+.CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {\r
+ position: absolute;\r
+ z-index: 6;\r
+ display: none;\r
+}\r
+.CodeMirror-vscrollbar {\r
+ right: 0; top: 0;\r
+ overflow-x: hidden;\r
+ overflow-y: scroll;\r
+}\r
+.CodeMirror-hscrollbar {\r
+ bottom: 0; left: 0;\r
+ overflow-y: hidden;\r
+ overflow-x: scroll;\r
+}\r
+.CodeMirror-scrollbar-filler {\r
+ right: 0; bottom: 0;\r
+}\r
+.CodeMirror-gutter-filler {\r
+ left: 0; bottom: 0;\r
+}\r
+\r
+.CodeMirror-gutters {\r
+ position: absolute; left: 0; top: 0;\r
+ z-index: 3;\r
+}\r
+.CodeMirror-gutter {\r
+ white-space: normal;\r
+ height: 100%;\r
+ display: inline-block;\r
+ margin-bottom: -30px;\r
+ /* Hack to make IE7 behave */\r
+ *zoom:1;\r
+ *display:inline;\r
+}\r
+.CodeMirror-gutter-wrapper {\r
+ position: absolute;\r
+ z-index: 4;\r
+ height: 100%;\r
+}\r
+.CodeMirror-gutter-elt {\r
+ position: absolute;\r
+ cursor: default;\r
+ z-index: 4;\r
+}\r
+.CodeMirror-gutter-wrapper {\r
+ -webkit-user-select: none;\r
+ -moz-user-select: none;\r
+ user-select: none;\r
+}\r
+\r
+.CodeMirror-lines {\r
+ cursor: text;\r
+ min-height: 1px; /* prevents collapsing before first draw */\r
+}\r
+.CodeMirror pre {\r
+ /* Reset some styles that the rest of the page might have set */\r
+ -moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0;\r
+ border-width: 0;\r
+ background: transparent;\r
+ font-family: inherit;\r
+ font-size: inherit;\r
+ margin: 0;\r
+ white-space: pre;\r
+ word-wrap: normal;\r
+ line-height: inherit;\r
+ color: inherit;\r
+ z-index: 2;\r
+ position: relative;\r
+ overflow: visible;\r
+ -webkit-tap-highlight-color: transparent;\r
+}\r
+.CodeMirror-wrap pre {\r
+ word-wrap: break-word;\r
+ white-space: pre-wrap;\r
+ word-break: normal;\r
+}\r
+\r
+.CodeMirror-linebackground {\r
+ position: absolute;\r
+ left: 0; right: 0; top: 0; bottom: 0;\r
+ z-index: 0;\r
+}\r
+\r
+.CodeMirror-linewidget {\r
+ position: relative;\r
+ z-index: 2;\r
+ overflow: auto;\r
+}\r
+\r
+.CodeMirror-widget {}\r
+\r
+.CodeMirror-code {\r
+ outline: none;\r
+}\r
+\r
+/* Force content-box sizing for the elements where we expect it */\r
+.CodeMirror-scroll,\r
+.CodeMirror-sizer,\r
+.CodeMirror-gutter,\r
+.CodeMirror-gutters,\r
+.CodeMirror-linenumber {\r
+ -moz-box-sizing: content-box;\r
+ box-sizing: content-box;\r
+}\r
+\r
+.CodeMirror-measure {\r
+ position: absolute;\r
+ width: 100%;\r
+ height: 0;\r
+ overflow: hidden;\r
+ visibility: hidden;\r
+}\r
+.CodeMirror-measure pre { position: static; }\r
+\r
+.CodeMirror div.CodeMirror-cursor {\r
+ position: absolute;\r
+ border-right: none;\r
+ width: 0;\r
+}\r
+\r
+div.CodeMirror-cursors {\r
+ visibility: hidden;\r
+ position: relative;\r
+ z-index: 3;\r
+}\r
+.CodeMirror-focused div.CodeMirror-cursors {\r
+ visibility: visible;\r
+}\r
+\r
+.CodeMirror-selected { background: #d9d9d9; }\r
+.CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; }\r
+.CodeMirror-crosshair { cursor: crosshair; }\r
+.CodeMirror ::selection { background: #d7d4f0; }\r
+.CodeMirror ::-moz-selection { background: #d7d4f0; }\r
+\r
+.cm-searching {\r
+ background: #ffa;\r
+ background: rgba(255, 255, 0, .4);\r
+}\r
+\r
+/* IE7 hack to prevent it from returning funny offsetTops on the spans */\r
+.CodeMirror span { *vertical-align: text-bottom; }\r
+\r
+/* Used to force a border model for a node */\r
+.cm-force-border { padding-right: .1px; }\r
+\r
+@media print {\r
+ /* Hide the cursor when printing */\r
+ .CodeMirror div.CodeMirror-cursors {\r
+ visibility: hidden;\r
+ }\r
+}\r
+\r
+/* See issue #2901 */\r
+.cm-tab-wrap-hack:after { content: ''; }\r
+\r
+/* Help users use markselection to safely style text background */\r
+span.CodeMirror-selectedtext { background: none; }\r