+++ /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