Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Used http://codemirror.net/doc/compress.html to obtain a compressed js with builtin d mode.
- Loading branch information
1 parent
6c6e34a
commit 34ba6c3
Showing
7 changed files
with
212 additions
and
3,106 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,169 +1,263 @@ | ||
/* BASICS */ | ||
|
||
.CodeMirror { | ||
line-height: 1em; | ||
/* Set height, width, borders, and global font properties here */ | ||
font-family: monospace; | ||
height: 300px; | ||
} | ||
.CodeMirror-scroll { | ||
/* Set scrolling behaviour here */ | ||
overflow: auto; | ||
} | ||
|
||
/* PADDING */ | ||
|
||
.CodeMirror-lines { | ||
padding: 4px 0; /* Vertical padding around content */ | ||
} | ||
.CodeMirror pre { | ||
padding: 0 4px; /* Horizontal padding of content */ | ||
} | ||
|
||
.CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler { | ||
background-color: white; /* The little square between H and V scrollbars */ | ||
} | ||
|
||
/* GUTTER */ | ||
|
||
/* Necessary so the scrollbar can be absolutely positioned within the wrapper on Lion. */ | ||
.CodeMirror-gutters { | ||
border-right: 1px solid #ddd; | ||
background-color: #f7f7f7; | ||
white-space: nowrap; | ||
} | ||
.CodeMirror-linenumbers {} | ||
.CodeMirror-linenumber { | ||
padding: 0 3px 0 5px; | ||
min-width: 20px; | ||
text-align: right; | ||
color: #999; | ||
} | ||
|
||
/* CURSOR */ | ||
|
||
.CodeMirror div.CodeMirror-cursor { | ||
border-left: 1px solid black; | ||
z-index: 3; | ||
} | ||
/* Shown when moving in bi-directional text */ | ||
.CodeMirror div.CodeMirror-secondarycursor { | ||
border-left: 1px solid silver; | ||
} | ||
.CodeMirror.cm-keymap-fat-cursor div.CodeMirror-cursor { | ||
width: auto; | ||
border: 0; | ||
background: #7e7; | ||
z-index: 1; | ||
} | ||
/* Can style cursor different in overwrite (non-insert) mode */ | ||
.CodeMirror div.CodeMirror-cursor.CodeMirror-overwrite {} | ||
|
||
.cm-tab { display: inline-block; } | ||
|
||
/* DEFAULT THEME */ | ||
|
||
.cm-s-default .cm-keyword {color: #708;} | ||
.cm-s-default .cm-atom {color: #219;} | ||
.cm-s-default .cm-number {color: #164;} | ||
.cm-s-default .cm-def {color: #00f;} | ||
.cm-s-default .cm-variable {color: black;} | ||
.cm-s-default .cm-variable-2 {color: #05a;} | ||
.cm-s-default .cm-variable-3 {color: #085;} | ||
.cm-s-default .cm-property {color: black;} | ||
.cm-s-default .cm-operator {color: black;} | ||
.cm-s-default .cm-comment {color: #a50;} | ||
.cm-s-default .cm-string {color: #a11;} | ||
.cm-s-default .cm-string-2 {color: #f50;} | ||
.cm-s-default .cm-meta {color: #555;} | ||
.cm-s-default .cm-qualifier {color: #555;} | ||
.cm-s-default .cm-builtin {color: #30a;} | ||
.cm-s-default .cm-bracket {color: #997;} | ||
.cm-s-default .cm-tag {color: #170;} | ||
.cm-s-default .cm-attribute {color: #00c;} | ||
.cm-s-default .cm-header {color: blue;} | ||
.cm-s-default .cm-quote {color: #090;} | ||
.cm-s-default .cm-hr {color: #999;} | ||
.cm-s-default .cm-link {color: #00c;} | ||
|
||
.cm-negative {color: #d44;} | ||
.cm-positive {color: #292;} | ||
.cm-header, .cm-strong {font-weight: bold;} | ||
.cm-em {font-style: italic;} | ||
.cm-link {text-decoration: underline;} | ||
|
||
.cm-s-default .cm-error {color: #f00;} | ||
.cm-invalidchar {color: #f00;} | ||
|
||
div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;} | ||
div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;} | ||
.CodeMirror-activeline-background {background: #e8f2ff;} | ||
|
||
/* STOP */ | ||
|
||
/* The rest of this file contains styles related to the mechanics of | ||
the editor. You probably shouldn't touch them. */ | ||
|
||
.CodeMirror { | ||
line-height: 1; | ||
position: relative; | ||
/* This prevents unwanted scrollbars from showing up on the body and wrapper in IE. */ | ||
overflow: hidden; | ||
background: white; | ||
color: black; | ||
} | ||
|
||
.CodeMirror-scroll { | ||
overflow-x: auto; | ||
overflow-y: hidden; | ||
height: auto; | ||
min-height: 120px; | ||
/* This is needed to prevent an IE[67] bug where the scrolled content | ||
is visible outside of the scrolling box. */ | ||
/* 30px is the magic margin used to hide the element's real scrollbars */ | ||
/* See overflow: hidden in .CodeMirror */ | ||
margin-bottom: -30px; margin-right: -30px; | ||
padding-bottom: 30px; padding-right: 30px; | ||
height: 100%; | ||
outline: none; /* Prevent dragging from highlighting the element */ | ||
position: relative; | ||
-moz-box-sizing: content-box; | ||
box-sizing: content-box; | ||
} | ||
.CodeMirror-sizer { | ||
position: relative; | ||
outline: none; | ||
} | ||
|
||
/* Vertical scrollbar */ | ||
.CodeMirror-scrollbar { | ||
float: right; | ||
/* The fake, visible scrollbars. Used to force redraw during scrolling | ||
before actuall scrolling happens, thus preventing shaking and | ||
flickering artifacts. */ | ||
.CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler { | ||
position: absolute; | ||
z-index: 6; | ||
display: none; | ||
} | ||
.CodeMirror-vscrollbar { | ||
right: 0; top: 0; | ||
overflow-x: hidden; | ||
overflow-y: scroll; | ||
|
||
/* This corrects for the 1px gap introduced to the left of the scrollbar | ||
by the rule for .CodeMirror-scrollbar-inner. */ | ||
margin-left: -1px; | ||
} | ||
.CodeMirror-scrollbar-inner { | ||
/* This needs to have a nonzero width in order for the scrollbar to appear | ||
in Firefox and IE9. */ | ||
width: 1px; | ||
} | ||
.CodeMirror-scrollbar.cm-sb-overlap { | ||
/* Ensure that the scrollbar appears in Lion, and that it overlaps the content | ||
rather than sitting to the right of it. */ | ||
position: absolute; | ||
z-index: 1; | ||
float: none; | ||
right: 0; | ||
min-width: 12px; | ||
.CodeMirror-hscrollbar { | ||
bottom: 0; left: 0; | ||
overflow-y: hidden; | ||
overflow-x: scroll; | ||
} | ||
.CodeMirror-scrollbar.cm-sb-nonoverlap { | ||
min-width: 12px; | ||
.CodeMirror-scrollbar-filler { | ||
right: 0; bottom: 0; | ||
} | ||
.CodeMirror-scrollbar.cm-sb-ie7 { | ||
min-width: 18px; | ||
.CodeMirror-gutter-filler { | ||
left: 0; bottom: 0; | ||
} | ||
|
||
.CodeMirror-gutter { | ||
.CodeMirror-gutters { | ||
position: absolute; left: 0; top: 0; | ||
z-index: 10; | ||
background-color: #f7f7f7; | ||
border-right: 1px solid #eee; | ||
min-width: 2em; | ||
padding-bottom: 30px; | ||
z-index: 3; | ||
} | ||
.CodeMirror-gutter { | ||
white-space: normal; | ||
height: 100%; | ||
-moz-box-sizing: content-box; | ||
box-sizing: content-box; | ||
padding-bottom: 30px; | ||
margin-bottom: -32px; | ||
display: inline-block; | ||
/* Hack to make IE7 behave */ | ||
*zoom:1; | ||
*display:inline; | ||
} | ||
.CodeMirror-gutter-text { | ||
color: #aaa; | ||
text-align: right; | ||
padding: .4em .2em .4em .4em; | ||
white-space: pre !important; | ||
.CodeMirror-gutter-elt { | ||
position: absolute; | ||
cursor: default; | ||
z-index: 4; | ||
} | ||
|
||
.CodeMirror-lines { | ||
padding: .4em; | ||
white-space: pre; | ||
cursor: text; | ||
} | ||
.CodeMirror-lines * { | ||
/* Necessary for throw-scrolling to decelerate properly on Safari. */ | ||
pointer-events: none; | ||
} | ||
|
||
.CodeMirror pre { | ||
-moz-border-radius: 0; | ||
-webkit-border-radius: 0; | ||
-o-border-radius: 0; | ||
border-radius: 0; | ||
border-width: 0; margin: 0; padding: 0; background: transparent; | ||
/* Reset some styles that the rest of the page might have set */ | ||
-moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0; | ||
border-width: 0; | ||
background: transparent; | ||
font-family: inherit; | ||
font-size: inherit; | ||
padding: 0; margin: 0; | ||
margin: 0; | ||
white-space: pre; | ||
word-wrap: normal; | ||
line-height: inherit; | ||
color: inherit; | ||
z-index: 2; | ||
position: relative; | ||
overflow: visible; | ||
} | ||
|
||
.CodeMirror-wrap pre { | ||
word-wrap: break-word; | ||
white-space: pre-wrap; | ||
word-break: normal; | ||
} | ||
.CodeMirror-code pre { | ||
border-right: 30px solid transparent; | ||
width: -webkit-fit-content; | ||
width: -moz-fit-content; | ||
width: fit-content; | ||
} | ||
.CodeMirror-wrap .CodeMirror-code pre { | ||
border-right: none; | ||
width: auto; | ||
} | ||
.CodeMirror-linebackground { | ||
position: absolute; | ||
left: 0; right: 0; top: 0; bottom: 0; | ||
z-index: 0; | ||
} | ||
|
||
.CodeMirror-linewidget { | ||
position: relative; | ||
z-index: 2; | ||
overflow: auto; | ||
} | ||
|
||
.CodeMirror-widget {} | ||
|
||
.CodeMirror-wrap .CodeMirror-scroll { | ||
overflow-x: hidden; | ||
} | ||
|
||
.CodeMirror textarea { | ||
outline: none !important; | ||
.CodeMirror-measure { | ||
position: absolute; | ||
width: 100%; | ||
height: 0; | ||
overflow: hidden; | ||
visibility: hidden; | ||
} | ||
.CodeMirror-measure pre { position: static; } | ||
|
||
.CodeMirror pre.CodeMirror-cursor { | ||
z-index: 10; | ||
.CodeMirror div.CodeMirror-cursor { | ||
position: absolute; | ||
visibility: hidden; | ||
border-left: 1px solid black; | ||
border-right: none; | ||
width: 0; | ||
} | ||
.cm-keymap-fat-cursor pre.CodeMirror-cursor { | ||
width: auto; | ||
border: 0; | ||
background: transparent; | ||
background: rgba(0, 200, 0, .4); | ||
filter: progid:DXImageTransform.Microsoft.gradient(startColorstr=#6600c800, endColorstr=#4c00c800); | ||
} | ||
/* Kludge to turn off filter in ie9+, which also accepts rgba */ | ||
.cm-keymap-fat-cursor pre.CodeMirror-cursor:not(#nonsense_id) { | ||
filter: progid:DXImageTransform.Microsoft.gradient(enabled=false); | ||
} | ||
.CodeMirror pre.CodeMirror-cursor.CodeMirror-overwrite {} | ||
.CodeMirror-focused pre.CodeMirror-cursor { | ||
.CodeMirror-focused div.CodeMirror-cursor { | ||
visibility: visible; | ||
} | ||
|
||
div.CodeMirror-selected { background: #d9d9d9; } | ||
.CodeMirror-focused div.CodeMirror-selected { background: #d7d4f0; } | ||
.CodeMirror-selected { background: #d9d9d9; } | ||
.CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; } | ||
|
||
.CodeMirror-searching { | ||
.cm-searching { | ||
background: #ffa; | ||
background: rgba(255, 255, 0, .4); | ||
} | ||
|
||
/* Default theme */ | ||
|
||
.cm-s-default span.cm-keyword {color: #708;} | ||
.cm-s-default span.cm-atom {color: #219;} | ||
.cm-s-default span.cm-number {color: #164;} | ||
.cm-s-default span.cm-def {color: #00f;} | ||
.cm-s-default span.cm-variable {color: black;} | ||
.cm-s-default span.cm-variable-2 {color: #05a;} | ||
.cm-s-default span.cm-variable-3 {color: #085;} | ||
.cm-s-default span.cm-property {color: black;} | ||
.cm-s-default span.cm-operator {color: black;} | ||
.cm-s-default span.cm-comment {color: #a50;} | ||
.cm-s-default span.cm-string {color: #a11;} | ||
.cm-s-default span.cm-string-2 {color: #f50;} | ||
.cm-s-default span.cm-meta {color: #555;} | ||
.cm-s-default span.cm-error {color: #f00;} | ||
.cm-s-default span.cm-qualifier {color: #555;} | ||
.cm-s-default span.cm-builtin {color: #30a;} | ||
.cm-s-default span.cm-bracket {color: #cc7;} | ||
.cm-s-default span.cm-tag {color: #170;} | ||
.cm-s-default span.cm-attribute {color: #00c;} | ||
.cm-s-default span.cm-header {color: blue;} | ||
.cm-s-default span.cm-quote {color: #090;} | ||
.cm-s-default span.cm-hr {color: #999;} | ||
.cm-s-default span.cm-link {color: #00c;} | ||
|
||
span.cm-header, span.cm-strong {font-weight: bold;} | ||
span.cm-em {font-style: italic;} | ||
span.cm-emstrong {font-style: italic; font-weight: bold;} | ||
span.cm-link {text-decoration: underline;} | ||
/* IE7 hack to prevent it from returning funny offsetTops on the spans */ | ||
.CodeMirror span { *vertical-align: text-bottom; } | ||
|
||
div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;} | ||
div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;} | ||
@media print { | ||
/* Hide the cursor when printing */ | ||
.CodeMirror div.CodeMirror-cursor { | ||
visibility: hidden; | ||
} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Large diffs are not rendered by default.
Oops, something went wrong.
Oops, something went wrong.