codemirror.less
416 lines
| 9.3 KiB
| text/x-less
|
LessCssLexer
r1 | /* BASICS */ | |||
.CodeMirror { | ||||
/* Set height, width, borders, and global font properties here */ | ||||
font-family: monospace; | ||||
height: 300px; | ||||
color: black; | ||||
border-radius: @border-radius; | ||||
border: @border-thickness solid @grey6; | ||||
margin: 0 0 @padding; | ||||
} | ||||
/* 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 */ | ||||
.CodeMirror-gutters { | ||||
border-right: 1px solid #ddd; | ||||
background-color: @grey6; | ||||
white-space: nowrap; | ||||
} | ||||
.CodeMirror-linenumbers {} | ||||
.CodeMirror-linenumber { | ||||
padding: 0 3px 0 5px; | ||||
min-width: 20px; | ||||
text-align: right; | ||||
color: @grey4; | ||||
white-space: nowrap; | ||||
} | ||||
.CodeMirror-guttermarker { color: black; } | ||||
.CodeMirror-guttermarker-subtle { color: #999; } | ||||
/* CURSOR */ | ||||
.CodeMirror div.CodeMirror-cursor { | ||||
border-left: 1px solid black; | ||||
} | ||||
/* Shown when moving in bi-directional text */ | ||||
.CodeMirror div.CodeMirror-secondarycursor { | ||||
border-left: 1px solid silver; | ||||
} | ||||
.CodeMirror.cm-fat-cursor div.CodeMirror-cursor { | ||||
width: auto; | ||||
border: 0; | ||||
background: @grey6; | ||||
} | ||||
.CodeMirror.cm-fat-cursor div.CodeMirror-cursors { | ||||
z-index: 1; | ||||
} | ||||
.cm-animate-fat-cursor { | ||||
width: auto; | ||||
border: 0; | ||||
-webkit-animation: blink 1.06s steps(1) infinite; | ||||
-moz-animation: blink 1.06s steps(1) infinite; | ||||
animation: blink 1.06s steps(1) infinite; | ||||
} | ||||
@-moz-keyframes blink { | ||||
0% { background: #7e7; } | ||||
50% { background: none; } | ||||
100% { background: #7e7; } | ||||
} | ||||
@-webkit-keyframes blink { | ||||
0% { background: #7e7; } | ||||
50% { background: none; } | ||||
100% { background: #7e7; } | ||||
} | ||||
@keyframes blink { | ||||
0% { background: #7e7; } | ||||
50% { background: none; } | ||||
100% { background: #7e7; } | ||||
} | ||||
/* Can style cursor different in overwrite (non-insert) mode */ | ||||
div.CodeMirror-overwrite div.CodeMirror-cursor {} | ||||
.cm-tab { display: inline-block; text-decoration: inherit; } | ||||
.CodeMirror-ruler { | ||||
border-left: 1px solid #ccc; | ||||
position: absolute; | ||||
} | ||||
/* DEFAULT THEME */ | ||||
.cm-s-default .cm-header {color: blue;} | ||||
.cm-s-default .cm-quote {color: #090;} | ||||
.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-strikethrough {text-decoration: line-through;} | ||||
.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, | ||||
.cm-s-default .cm-punctuation, | ||||
.cm-s-default .cm-property, | ||||
.cm-s-default .cm-operator {} | ||||
.cm-s-default .cm-variable-2 {color: #05a;} | ||||
.cm-s-default .cm-variable-3 {color: #085;} | ||||
.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-hr {color: #999;} | ||||
.cm-s-default .cm-link {color: #00c;} | ||||
.cm-s-default .cm-error {color: #f00;} | ||||
.cm-invalidchar {color: #f00;} | ||||
.CodeMirror-composing { border-bottom: 2px solid; } | ||||
/* Default styles for common addons */ | ||||
div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;} | ||||
div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;} | ||||
.CodeMirror-matchingtag { background: rgba(255, 150, 0, .3); } | ||||
.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 { | ||||
position: relative; | ||||
overflow: hidden; | ||||
background: white; | ||||
} | ||||
.CodeMirror-scroll { | ||||
overflow: scroll !important; /* Things will break if this is overridden */ | ||||
/* 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; | ||||
height: 100%; | ||||
outline: none; /* Prevent dragging from highlighting the element */ | ||||
position: relative; | ||||
} | ||||
.CodeMirror-sizer { | ||||
position: relative; | ||||
border-right: 30px solid transparent; | ||||
} | ||||
/* The fake, visible scrollbars. Used to force redraw during scrolling | ||||
r346 | before actual scrolling happens, thus preventing shaking and | |||
r1 | 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; | ||||
} | ||||
.CodeMirror-hscrollbar { | ||||
bottom: 0; left: 0; | ||||
overflow-y: hidden; | ||||
overflow-x: scroll; | ||||
} | ||||
.CodeMirror-scrollbar-filler { | ||||
right: 0; bottom: 0; | ||||
} | ||||
.CodeMirror-gutter-filler { | ||||
left: 0; bottom: 0; | ||||
} | ||||
.CodeMirror-gutters { | ||||
position: absolute; left: 0; top: 0; | ||||
z-index: 3; | ||||
} | ||||
.CodeMirror-gutter { | ||||
white-space: normal; | ||||
height: 100%; | ||||
display: inline-block; | ||||
margin-bottom: -30px; | ||||
/* Hack to make IE7 behave */ | ||||
*zoom:1; | ||||
*display:inline; | ||||
} | ||||
.CodeMirror-gutter-wrapper { | ||||
position: absolute; | ||||
z-index: 4; | ||||
height: 100%; | ||||
} | ||||
r346 | .CodeMirror-gutter-background { | |||
position: absolute; | ||||
top: 0; bottom: 0; | ||||
z-index: 4; | ||||
} | ||||
r1 | .CodeMirror-gutter-elt { | |||
position: absolute; | ||||
cursor: default; | ||||
z-index: 4; | ||||
} | ||||
.CodeMirror-gutter-wrapper { | ||||
-webkit-user-select: none; | ||||
-moz-user-select: none; | ||||
user-select: none; | ||||
} | ||||
.CodeMirror-lines { | ||||
cursor: text; | ||||
min-height: 1px; /* prevents collapsing before first draw */ | ||||
} | ||||
.CodeMirror pre { | ||||
/* 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; | ||||
margin: 0; | ||||
white-space: pre; | ||||
word-wrap: normal; | ||||
line-height: inherit; | ||||
color: inherit; | ||||
z-index: 2; | ||||
position: relative; | ||||
overflow: visible; | ||||
-webkit-tap-highlight-color: transparent; | ||||
} | ||||
.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; | ||||
overflow: auto; | ||||
} | ||||
.CodeMirror-widget {} | ||||
.CodeMirror-code { | ||||
outline: none; | ||||
} | ||||
/* Force content-box sizing for the elements where we expect it */ | ||||
.CodeMirror-scroll, | ||||
.CodeMirror-sizer, | ||||
.CodeMirror-gutter, | ||||
.CodeMirror-gutters, | ||||
.CodeMirror-linenumber { | ||||
-moz-box-sizing: content-box; | ||||
box-sizing: content-box; | ||||
} | ||||
.CodeMirror-measure { | ||||
position: absolute; | ||||
width: 100%; | ||||
height: 0; | ||||
overflow: hidden; | ||||
visibility: hidden; | ||||
} | ||||
r346 | ||||
r1 | ||||
.CodeMirror div.CodeMirror-cursor { | ||||
position: absolute; | ||||
border-right: none; | ||||
width: 0; | ||||
} | ||||
r346 | .CodeMirror-measure pre { position: static; } | |||
r1 | div.CodeMirror-cursors { | |||
visibility: hidden; | ||||
position: relative; | ||||
z-index: 3; | ||||
} | ||||
r346 | div.CodeMirror-dragcursors { | |||
visibility: visible; | ||||
} | ||||
r1 | .CodeMirror-focused div.CodeMirror-cursors { | |||
visibility: visible; | ||||
} | ||||
.CodeMirror-selected { background: #d9d9d9; } | ||||
.CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; } | ||||
.CodeMirror-crosshair { cursor: crosshair; } | ||||
r346 | .CodeMirror-line::selection, .CodeMirror-line > span::selection, .CodeMirror-line > span > span::selection { background: #d7d4f0; } | |||
.CodeMirror-line::-moz-selection, .CodeMirror-line > span::-moz-selection, .CodeMirror-line > span > span::-moz-selection { background: #d7d4f0; } | ||||
r1 | ||||
.cm-searching { | ||||
background: #ffa; | ||||
background: rgba(255, 255, 0, .4); | ||||
} | ||||
/* IE7 hack to prevent it from returning funny offsetTops on the spans */ | ||||
.CodeMirror span { *vertical-align: text-bottom; } | ||||
/* Used to force a border model for a node */ | ||||
.cm-force-border { padding-right: .1px; } | ||||
@media print { | ||||
/* Hide the cursor when printing */ | ||||
.CodeMirror div.CodeMirror-cursors { | ||||
visibility: hidden; | ||||
} | ||||
} | ||||
/* See issue #2901 */ | ||||
.cm-tab-wrap-hack:after { content: ''; } | ||||
/* Help users use markselection to safely style text background */ | ||||
span.CodeMirror-selectedtext { background: none; } | ||||
/* codemirror autocomplete widget */ | ||||
.CodeMirror-hints { | ||||
position: absolute; | ||||
z-index: 10; | ||||
overflow: hidden; | ||||
list-style: none; | ||||
margin: 0; | ||||
padding: 0; | ||||
border-radius: @border-radius; | ||||
border: @border-thickness solid @rcblue; | ||||
color: @rcblue; | ||||
background-color: white; | ||||
font-size: 95%; | ||||
max-height: 20em; | ||||
overflow-y: auto; | ||||
} | ||||
.CodeMirror-hint { | ||||
margin: 0; | ||||
padding: 4px 8px; | ||||
max-width: 40em; | ||||
white-space: pre; | ||||
color: @rcblue; | ||||
cursor: pointer; | ||||
} | ||||
.CodeMirror-hint-active { | ||||
background: @rclightblue; | ||||
color: @rcblue; | ||||
} | ||||
.CodeMirror-hint-entry { | ||||
width: 38em; | ||||
color: @rcblue; | ||||
} | ||||
.CodeMirror-hint-entry .gravatar { | ||||
margin-right: 4px; | ||||
} | ||||
.CodeMirror-empty { | ||||
border: @border-thickness solid @grey5; | ||||
} | ||||
.CodeMirror-focused { | ||||
border: @border-thickness solid @grey5; | ||||
} | ||||
.CodeMirror-empty.CodeMirror-focused { | ||||
border: @border-thickness solid @grey5; | ||||
} | ||||
.CodeMirror pre.CodeMirror-placeholder { | ||||
color: @grey4; | ||||
} | ||||
/** RhodeCode Customizations **/ | ||||
.CodeMirror.cm-s-rc-input { | ||||
border: @border-thickness solid @grey4; | ||||
} | ||||
.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; | ||||
} | ||||