codemirror.css
258 lines
| 5.9 KiB
| text/css
|
CssLexer
r4025 | /* BASICS */ | |||
r1305 | .CodeMirror { | |||
r4025 | /* Set height, width, borders, and global font properties here */ | |||
r1305 | font-family: monospace; | |||
r4025 | 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 */ | ||||
} | ||||
r4042 | .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler { | |||
r4025 | background-color: white; /* The little square between H and V scrollbars */ | |||
} | ||||
/* GUTTER */ | ||||
.CodeMirror-gutters { | ||||
border-right: 1px solid #ddd; | ||||
background-color: #f7f7f7; | ||||
r4042 | white-space: nowrap; | |||
r4025 | } | |||
.CodeMirror-linenumbers {} | ||||
.CodeMirror-linenumber { | ||||
padding: 0 3px 0 5px; | ||||
min-width: 20px; | ||||
text-align: right; | ||||
color: #999; | ||||
} | ||||
/* CURSOR */ | ||||
r2551 | ||||
r4025 | .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-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-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; | ||||
r2551 | position: relative; | |||
overflow: hidden; | ||||
r4025 | background: white; | |||
color: black; | ||||
r2551 | } | |||
.CodeMirror-scroll { | ||||
r4025 | /* 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 */ | ||||
r2551 | position: relative; | |||
r4025 | } | |||
.CodeMirror-sizer { | ||||
position: relative; | ||||
r2551 | } | |||
r4025 | /* The fake, visible scrollbars. Used to force redraw during scrolling | |||
before actuall scrolling happens, thus preventing shaking and | ||||
flickering artifacts. */ | ||||
r4042 | .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler { | |||
r2861 | position: absolute; | |||
r4025 | z-index: 6; | |||
display: none; | ||||
} | ||||
.CodeMirror-vscrollbar { | ||||
r2861 | right: 0; top: 0; | |||
r2551 | overflow-x: hidden; | |||
overflow-y: scroll; | ||||
} | ||||
r4025 | .CodeMirror-hscrollbar { | |||
bottom: 0; left: 0; | ||||
overflow-y: hidden; | ||||
overflow-x: scroll; | ||||
r2551 | } | |||
r4025 | .CodeMirror-scrollbar-filler { | |||
right: 0; bottom: 0; | ||||
r4042 | } | |||
.CodeMirror-gutter-filler { | ||||
left: 0; bottom: 0; | ||||
r1305 | } | |||
r4025 | .CodeMirror-gutters { | |||
r1305 | position: absolute; left: 0; top: 0; | |||
r4025 | padding-bottom: 30px; | |||
z-index: 3; | ||||
r1305 | } | |||
r4025 | .CodeMirror-gutter { | |||
r4042 | white-space: normal; | |||
r4025 | height: 100%; | |||
padding-bottom: 30px; | ||||
margin-bottom: -32px; | ||||
display: inline-block; | ||||
/* Hack to make IE7 behave */ | ||||
*zoom:1; | ||||
*display:inline; | ||||
} | ||||
.CodeMirror-gutter-elt { | ||||
position: absolute; | ||||
r2861 | cursor: default; | |||
r4025 | z-index: 4; | |||
r1305 | } | |||
r4025 | ||||
r1305 | .CodeMirror-lines { | |||
r2551 | cursor: text; | |||
} | ||||
r1305 | .CodeMirror pre { | |||
r4025 | /* 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; | ||||
r1305 | font-family: inherit; | |||
r2551 | font-size: inherit; | |||
r4025 | margin: 0; | |||
r2551 | white-space: pre; | |||
word-wrap: normal; | ||||
line-height: inherit; | ||||
color: inherit; | ||||
r4025 | z-index: 2; | |||
position: relative; | ||||
r3036 | overflow: visible; | |||
r1305 | } | |||
r2551 | .CodeMirror-wrap pre { | |||
word-wrap: break-word; | ||||
white-space: pre-wrap; | ||||
word-break: normal; | ||||
} | ||||
|
r4120 | .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; | ||||
} | ||||
r4025 | .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 { | ||||
} | ||||
r2551 | .CodeMirror-wrap .CodeMirror-scroll { | |||
overflow-x: hidden; | ||||
} | ||||
r4025 | .CodeMirror-measure { | |||
position: absolute; | ||||
width: 100%; height: 0px; | ||||
overflow: hidden; | ||||
visibility: hidden; | ||||
r2551 | } | |||
r4025 | .CodeMirror-measure pre { position: static; } | |||
r2551 | ||||
r4025 | .CodeMirror div.CodeMirror-cursor { | |||
r1305 | position: absolute; | |||
visibility: hidden; | ||||
r2551 | border-right: none; | |||
width: 0; | ||||
r1305 | } | |||
r4025 | .CodeMirror-focused div.CodeMirror-cursor { | |||
r1305 | visibility: visible; | |||
} | ||||
r4025 | .CodeMirror-selected { background: #d9d9d9; } | |||
.CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; } | ||||
r2551 | ||||
r4025 | .cm-searching { | |||
r2551 | background: #ffa; | |||
background: rgba(255, 255, 0, .4); | ||||
r1305 | } | |||
r4025 | /* IE7 hack to prevent it from returning funny offsetTops on the spans */ | |||
.CodeMirror span { *vertical-align: text-bottom; } | ||||
r2861 | ||||
@media print { | ||||
/* Hide the cursor when printing */ | ||||
r4025 | .CodeMirror div.CodeMirror-cursor { | |||
r2861 | visibility: hidden; | |||
} | ||||
r3551 | } | |||