second part of sync for LCARStrek with browser windows/shared theme changes in Firefo...

[themes.git] / LCARStrek / browser / devtools / dark-theme.css

diff --git a/LCARStrek/browser/devtools/dark-theme.css b/LCARStrek/browser/devtools/dark-theme.css
index 1d29413d128f473607a687fe14685bebc00aceb2..529143a1cdc80c49539a1eeb5ef2021a92b9fde8 100644 (file)
--- a/LCARStrek/browser/devtools/dark-theme.css
+++ b/LCARStrek/browser/devtools/dark-theme.css
@@ -47,7 +47,8 @@
   background: #004242;
 }
 
-.theme-bg-darker {
+.theme-bg-darker
+.cm-s-mozilla .CodeMirror-gutters {
   background-color: rgba(0,0,0,0.5);
 }
 
@@ -55,11 +56,15 @@
   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;
 }
 
@@ -73,23 +78,39 @@
   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;
 }
 
@@ -97,7 +118,10 @@
   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;
 }
 
@@ -110,3 +134,43 @@
 .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;
+}