|
|
@@ -39,26 +39,24 @@
|
|
|
|
|
|
/* CURSOR */
|
|
|
|
|
|
-.CodeMirror pre.CodeMirror-cursor {
|
|
|
+.CodeMirror div.CodeMirror-cursor {
|
|
|
border-left: 1px solid black;
|
|
|
+ z-index: 3;
|
|
|
}
|
|
|
/* Shown when moving in bi-directional text */
|
|
|
-.CodeMirror pre.CodeMirror-secondarycursor {
|
|
|
+.CodeMirror div.CodeMirror-secondarycursor {
|
|
|
border-left: 1px solid silver;
|
|
|
}
|
|
|
-.cm-keymap-fat-cursor pre.CodeMirror-cursor {
|
|
|
+.CodeMirror.cm-keymap-fat-cursor div.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);
|
|
|
+ background: #7e7;
|
|
|
+ z-index: 1;
|
|
|
}
|
|
|
/* Can style cursor different in overwrite (non-insert) mode */
|
|
|
-.CodeMirror pre.CodeMirror-cursor.CodeMirror-overwrite {}
|
|
|
+.CodeMirror div.CodeMirror-cursor.CodeMirror-overwrite {}
|
|
|
+
|
|
|
+.cm-tab { display: inline-block; }
|
|
|
|
|
|
/* DEFAULT THEME */
|
|
|
|
|
|
@@ -90,7 +88,6 @@
|
|
|
.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;}
|
|
|
@@ -107,6 +104,8 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
|
|
|
line-height: 1;
|
|
|
position: relative;
|
|
|
overflow: hidden;
|
|
|
+ background: white;
|
|
|
+ color: black;
|
|
|
}
|
|
|
|
|
|
.CodeMirror-scroll {
|
|
|
@@ -148,10 +147,13 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
|
|
|
.CodeMirror-gutters {
|
|
|
position: absolute; left: 0; top: 0;
|
|
|
height: 100%;
|
|
|
+ padding-bottom: 30px;
|
|
|
z-index: 3;
|
|
|
}
|
|
|
.CodeMirror-gutter {
|
|
|
height: 100%;
|
|
|
+ padding-bottom: 30px;
|
|
|
+ margin-bottom: -32px;
|
|
|
display: inline-block;
|
|
|
/* Hack to make IE7 behave */
|
|
|
*zoom:1;
|
|
|
@@ -168,7 +170,7 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
|
|
|
}
|
|
|
.CodeMirror pre {
|
|
|
/* 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;
|
|
|
+ -moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0;
|
|
|
border-width: 0;
|
|
|
background: transparent;
|
|
|
font-family: inherit;
|
|
|
@@ -196,6 +198,11 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
|
|
|
.CodeMirror-linewidget {
|
|
|
position: relative;
|
|
|
z-index: 2;
|
|
|
+ overflow: auto;
|
|
|
+}
|
|
|
+
|
|
|
+.CodeMirror-widget {
|
|
|
+ display: inline-block;
|
|
|
}
|
|
|
|
|
|
.CodeMirror-wrap .CodeMirror-scroll {
|
|
|
@@ -210,20 +217,20 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
|
|
|
}
|
|
|
.CodeMirror-measure pre { position: static; }
|
|
|
|
|
|
-.CodeMirror pre.CodeMirror-cursor {
|
|
|
+.CodeMirror div.CodeMirror-cursor {
|
|
|
position: absolute;
|
|
|
visibility: hidden;
|
|
|
border-right: none;
|
|
|
width: 0;
|
|
|
}
|
|
|
-.CodeMirror-focused pre.CodeMirror-cursor {
|
|
|
+.CodeMirror-focused div.CodeMirror-cursor {
|
|
|
visibility: visible;
|
|
|
}
|
|
|
|
|
|
.CodeMirror-selected { background: #d9d9d9; }
|
|
|
.CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; }
|
|
|
|
|
|
-.CodeMirror-searching {
|
|
|
+.cm-searching {
|
|
|
background: #ffa;
|
|
|
background: rgba(255, 255, 0, .4);
|
|
|
}
|
|
|
@@ -233,7 +240,7 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
|
|
|
|
|
|
@media print {
|
|
|
/* Hide the cursor when printing */
|
|
|
- .CodeMirror pre.CodeMirror-cursor {
|
|
|
+ .CodeMirror div.CodeMirror-cursor {
|
|
|
visibility: hidden;
|
|
|
}
|
|
|
}
|