fifth part of syncing LCARStrek with Firefox 29 windows theme changes

[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 2085d5fb7f80356fd3a38cba8940f656ccaa18b2..59585b3cd8c3862f49f297dcec21f32e7675cd7d 100644 (file)
--- a/LCARStrek/browser/devtools/dark-theme.css
+++ b/LCARStrek/browser/devtools/dark-theme.css
@@ -148,10 +148,15 @@
 .cm-s-mozilla .cm-quote,
 .cm-s-mozilla .cm-error,
 .variable-or-property .token-boolean,
+.variable-or-property .token-domnode,
 .variable-or-property[exception] > .title > .name { /* original: Red */
   color: #FF0000;
 }
 
+.variable-or-property .token-domnode {
+  font-weight: bold;
+}
+
 .theme-toolbar,
 .devtools-toolbar,
 .devtools-sidebar-tabs > tabs { /* General toolbar styling */
@@ -328,10 +333,6 @@ div.CodeMirror span.eval-text {
   padding: 2px;
 }
 
-.devtools-menulist,
-.devtools-toolbarbutton {
-}
-
 devtools-menulist:-moz-focusring,
 .devtools-toolbarbutton:-moz-focusring {
   outline: 1px dotted #008484;
@@ -352,6 +353,10 @@ devtools-menulist:-moz-focusring,
   /*-moz-box-orient: horizontal;*/
 }
 
+.devtools-menulist,
+.devtools-toolbarbutton {
+}
+
 .devtools-toolbarbutton:not([checked]):hover:active {
 }
 
@@ -401,6 +406,22 @@ devtools-menulist:-moz-focusring,
   -moz-box-align: center;
 }
 
+/* Toolbar button groups */
+.devtools-toolbarbutton-group > .devtools-toolbarbutton {
+}
+
+.devtools-toolbarbutton-group > .devtools-toolbarbutton:last-of-type {
+}
+
+.devtools-toolbarbutton-group {
+/*
+  margin: 0 2px;
+  -moz-padding-end: 2px;
+  border-left: 3px solid #000000;
+  border-right: 3px solid #000000;
+*/
+}
+
 /* Text input */
 
 .devtools-textinput,
@@ -419,10 +440,18 @@ devtools-menulist:-moz-focusring,
   padding-bottom: 3px;*/
   -moz-padding-start: 22px;
   -moz-padding-end: 12px;
-  background-image: url("magnifying-glass.png");
   background-position: 8px center;
+  background-size: 11px 11px;
   background-repeat: no-repeat;
   font-size: inherit;
+
+  background-image: url("magnifying-glass.png");
+}
+
+@media (min-resolution: 2dppx) {
+  .theme-dark .devtools-searchinput {
+    background-image: url("magnifying-glass@2x.png");
+  }
 }
 
 .devtools-searchinput:-moz-locale-dir(rtl) {