+
+.theme-fg-contrast { /* To be used for text on theme-bg-contrast */
+ color: #FFCF00;
+}
+
+.ruleview-colorswatch,
+.computedview-colorswatch,
+.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;
+}