Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
460f8b3
commit 9ac802e
Showing
158 changed files
with
18,285 additions
and
3,713 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,77 +1,239 @@ | ||
/* 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; | ||
height: 300px; | ||
/* This is needed to prevent an IE[67] bug where the scrolled content | ||
is visible outside of the scrolling box. */ | ||
} | ||
|
||
/* PADDING */ | ||
|
||
.CodeMirror-lines { | ||
padding: 4px 0; /* Vertical padding around content */ | ||
} | ||
.CodeMirror pre { | ||
padding: 0 4px; /* Horizontal padding of content */ | ||
} | ||
|
||
.CodeMirror-scrollbar-filler { | ||
background-color: white; /* The little square between H and V scrollbars */ | ||
} | ||
|
||
/* GUTTER */ | ||
|
||
.CodeMirror-gutters { | ||
border-right: 1px solid #ddd; | ||
background-color: #f7f7f7; | ||
} | ||
.CodeMirror-linenumbers {} | ||
.CodeMirror-linenumber { | ||
padding: 0 3px 0 5px; | ||
min-width: 20px; | ||
text-align: right; | ||
color: #999; | ||
} | ||
|
||
/* CURSOR */ | ||
|
||
.CodeMirror pre.CodeMirror-cursor { | ||
border-left: 1px solid black; | ||
} | ||
/* Shown when moving in bi-directional text */ | ||
.CodeMirror pre.CodeMirror-secondarycursor { | ||
border-left: 1px solid silver; | ||
} | ||
.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); | ||
} | ||
/* Can style cursor different in overwrite (non-insert) mode */ | ||
.CodeMirror pre.CodeMirror-cursor.CodeMirror-overwrite {} | ||
|
||
/* 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-error {color: #f00;} | ||
.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-emstrong {font-style: italic; font-weight: bold;} | ||
.cm-link {text-decoration: underline;} | ||
|
||
.cm-invalidchar {color: #f00;} | ||
|
||
div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;} | ||
div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;} | ||
|
||
/* 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; | ||
overflow: hidden; | ||
} | ||
|
||
.CodeMirror-gutter { | ||
.CodeMirror-scroll { | ||
/* 30px is the magic margin used to hide the element's real scrollbars */ | ||
/* See overflow: hidden in .CodeMirror, and the paddings in .CodeMirror-sizer */ | ||
margin-bottom: -30px; margin-right: -30px; | ||
padding-bottom: 30px; padding-right: 30px; | ||
height: 100%; | ||
outline: none; /* Prevent dragging from highlighting the element */ | ||
position: relative; | ||
} | ||
.CodeMirror-sizer { | ||
position: relative; | ||
} | ||
|
||
/* 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 { | ||
position: absolute; | ||
z-index: 6; | ||
display: none; | ||
} | ||
.CodeMirror-vscrollbar { | ||
right: 0; top: 0; | ||
overflow-x: hidden; | ||
overflow-y: scroll; | ||
} | ||
.CodeMirror-hscrollbar { | ||
bottom: 0; left: 0; | ||
overflow-y: hidden; | ||
overflow-x: scroll; | ||
} | ||
.CodeMirror-scrollbar-filler { | ||
right: 0; bottom: 0; | ||
z-index: 6; | ||
} | ||
|
||
.CodeMirror-gutters { | ||
position: absolute; left: 0; top: 0; | ||
z-index: 10; | ||
background-color: #f7f7f7; | ||
border-right: 1px solid #eee; | ||
min-width: 2em; | ||
height: 100%; | ||
z-index: 3; | ||
} | ||
.CodeMirror-gutter-text { | ||
color: #aaa; | ||
text-align: right; | ||
padding: .4em .2em .4em .4em; | ||
white-space: pre !important; | ||
.CodeMirror-gutter { | ||
height: 100%; | ||
display: inline-block; | ||
/* Hack to make IE7 behave */ | ||
*zoom:1; | ||
*display:inline; | ||
} | ||
.CodeMirror-lines { | ||
padding: .4em; | ||
.CodeMirror-gutter-elt { | ||
position: absolute; | ||
cursor: default; | ||
z-index: 4; | ||
} | ||
|
||
.CodeMirror-lines { | ||
cursor: text; | ||
} | ||
.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; -o-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-linebackground { | ||
position: absolute; | ||
left: 0; right: 0; top: 0; bottom: 0; | ||
z-index: 0; | ||
} | ||
|
||
.CodeMirror-linewidget { | ||
position: relative; | ||
z-index: 2; | ||
} | ||
|
||
.CodeMirror-wrap .CodeMirror-scroll { | ||
overflow-x: hidden; | ||
} | ||
|
||
.CodeMirror textarea { | ||
font-family: inherit !important; | ||
font-size: inherit !important; | ||
.CodeMirror-measure { | ||
position: absolute; | ||
width: 100%; height: 0px; | ||
overflow: hidden; | ||
visibility: hidden; | ||
} | ||
.CodeMirror-measure pre { position: static; } | ||
|
||
.CodeMirror-cursor { | ||
z-index: 10; | ||
.CodeMirror pre.CodeMirror-cursor { | ||
position: absolute; | ||
visibility: hidden; | ||
border-left: 1px solid black !important; | ||
border-right: none; | ||
width: 0; | ||
} | ||
.CodeMirror-focused .CodeMirror-cursor { | ||
.CodeMirror-focused pre.CodeMirror-cursor { | ||
visibility: visible; | ||
} | ||
|
||
span.CodeMirror-selected { | ||
background: #ccc !important; | ||
color: HighlightText !important; | ||
} | ||
.CodeMirror-focused span.CodeMirror-selected { | ||
background: Highlight !important; | ||
.CodeMirror-selected { background: #d9d9d9; } | ||
.CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; } | ||
|
||
.CodeMirror-searching { | ||
background: #ffa; | ||
background: rgba(255, 255, 0, .4); | ||
} | ||
|
||
.CodeMirror-matchingbracket {color: #0f0 !important;} | ||
.CodeMirror-nonmatchingbracket {color: #f22 !important;} | ||
/* IE7 hack to prevent it from returning funny offsetTops on the spans */ | ||
.CodeMirror span { *vertical-align: text-bottom; } | ||
|
||
@media print { | ||
/* Hide the cursor when printing */ | ||
.CodeMirror pre.CodeMirror-cursor { | ||
visibility: hidden; | ||
} | ||
} |
Oops, something went wrong.