background: #004242;
}
-.theme-bg-darker {
+.theme-bg-darker
+.cm-s-mozilla .CodeMirror-gutters {
background-color: rgba(0,0,0,0.5);
}
background: #404000;
}
-.theme-link { /* original: blue */
+.theme-link,
+.cm-s-mozilla .cm-link { /* original: blue */
color: #3333FF;
}
-.theme-comment { /* original: grey */
+.theme-comment,
+.cm-s-mozilla .cm-meta,
+.cm-s-mozilla .cm-hr,
+.cm-s-mozilla .cm-string { /* original: grey */
color: #A09090;
}
border-color: #8050B0;
}
-.theme-fg-color1 { /* original: green */
+.theme-fg-color1,
+.cm-s-mozilla .cm-variable-2,
+.cm-s-mozilla .cm-quote,
+.cm-s-mozilla .CodeMirror-matchingbracket { /* original: green */
color: #008484;
}
-.theme-fg-color2 { /* original: blue */
+.theme-fg-color2,
+.cm-s-mozilla .cm-attribute,
+.cm-s-mozilla .cm-builtin,
+.cm-s-mozilla .cm-variable,
+.cm-s-mozilla .cm-def,
+.cm-s-mozilla .cm-variable-3,
+.cm-s-mozilla .cm-property,
+.cm-s-mozilla .cm-qualifier { /* original: blue */
color: #9C9CFF;
}
-.theme-fg-color3 { /* original: pink/lavender */
+.theme-fg-color3,
+.cm-s-mozilla .cm-tag,
+.cm-s-mozilla .cm-header { /* original: pink/lavender */
color: #E7ADE7;
}
-.theme-fg-color4 { /* original: purple/violet */
+.theme-fg-color4,
+.cm-s-mozilla .cm-comment { /* original: purple/violet */
color: #C09070;
}
-.theme-fg-color5 { /* original: Yellow */
+.theme-fg-color5,
+.cm-s-mozilla .cm-bracket,
+.cm-s-mozilla .cm-atom,
+.cm-s-mozilla .cm-keyword { /* original: Yellow */
color: #FFCF00;
}
color: #FF9F00;
}
-.theme-fg-color7 { /* original: Red */
+.theme-fg-color7,
+.cm-s-mozilla .CodeMirror-nonmatchingbracket,
+.cm-s-mozilla .cm-string-2,
+.cm-s-mozilla .cm-error { /* original: Red */
color: #FF0000;
}
.markupview-colorswatch {
/* box-shadow: 0 0 0 1px rgba(0,0,0,0.5); */
}
+
+/* CodeMirror specific styles.
+ * Best effort to match the existing theme, some of the colors
+ * are duplicated here to prevent weirdness in the main theme. */
+
+.CodeMirror { /* Inherit platform specific font sizing and styles */
+ font-family: inherit;
+ font-size: inherit;
+ background: transparent;
+}
+
+.CodeMirror pre,
+.cm-s-mozilla .cm-operator,
+.cm-s-mozilla .cm-special,
+.cm-s-mozilla .cm-number { /* theme-body color */
+ color: #FF9F00;
+}
+
+.cm-s-mozilla .CodeMirror-lines .CodeMirror-cursor {
+ border-left: solid 1px #FF9F00;
+}
+
+.cm-s-mozilla.CodeMirror-focused .CodeMirror-selected { /* selected text (focused) */
+ background: #008484;
+ color: #FFCF00;
+}
+
+.dcm-s-mozilla .CodeMirror-selected { /* selected text (unfocused) */
+ background: #008484;
+ color: #000000;
+}
+
+.CodeMirror-activeline-background { /* selected color with alpha */
+ background: rgba(0, 132, 132, .05);
+}
+
+.cm-s-markup-view pre {
+ line-height: 1.4em;
+ min-height: 1.4em;
+}