finish sync of LCARStrek with Firefox 23 browser windows theme changes
[themes.git] / LCARStrek / browser / devtools / toolbox.css
index e5db567c7ad4cb31a588d518cb1532fd410422be..fcdd6bc98d84f6481c597177cef41f25e4ec31f9 100644 (file)
@@ -137,8 +137,8 @@ window {
 }
 
 .devtools-tab {
 }
 
 .devtools-tab {
-  min-width: 88px;
-  /* min-height: 22px; */
+  min-width: 32px;
+  max-width: 110px;
   color: #000000;
   margin: 0;
   -moz-margin-end: 3px;
   color: #000000;
   margin: 0;
   -moz-margin-end: 3px;
@@ -148,20 +148,20 @@ window {
   border-radius: 8px 8px 0 0;
 }
 
   border-radius: 8px 8px 0 0;
 }
 
-.devtools-tab > .radio-label-center-box > .radio-label-box {
-  padding: 0 6px;
-  border-radius: 8px 8px 0 0;
+.devtools-tab > image {
+  -moz-margin-end: 0px;
+/*  -moz-margin-start: 4px; */
 }
 
 }
 
-.devtools-tab > .radio-label-center-box > .radio-label-box > .radio-icon {
-  -moz-margin-end: 6px;
+#toolbox-tab-options > image {
+/*  margin: 0 8px; */
 }
 
 }
 
-.devtools-tab:hover > .radio-label-center-box > .radio-label-box > .radio-icon {
+.devtools-tab:hover > image {
 }
 
 }
 
-.devtools-tab:active > .radio-label-center-box > .radio-label-box > .radio-icon,
-.devtools-tab[selected=true] > .radio-label-center-box > .radio-label-box > .radio-icon {
+.devtools-tab:active > image,
+.devtools-tab[selected=true] > image {
 }
 
 .devtools-tab:hover,
 }
 
 .devtools-tab:hover,
@@ -170,12 +170,51 @@ window {
   color: #000000;
 }
 
   color: #000000;
 }
 
-.devtools-tab:hover > .radio-label-center-box > .radio-label-box,
-.devtools-tab:hover:active > .radio-label-center-box > .radio-label-box {
-  color: #000000;
-}
-
 .devtools-tab[selected=true] {
   background-color: #008484;
   color: #000000;
 }
 .devtools-tab[selected=true] {
   background-color: #008484;
   color: #000000;
 }
+
+.devtools-tab > spacer {
+  max-width: 0;
+  -moz-box-flex: 0;
+}
+
+.devtools-tab > image {
+  -moz-margin-end: 0;
+  -moz-margin-start: 0;
+}
+
+#toolbox-tab-options {
+  min-width: 20px;
+}
+
+#toolbox-tab-options > image {
+  -moz-margin-end: 3px;
+}
+
+
+#options-panel {
+  /* background-image: url("chrome://browser/skin/newtab/noise.png"); */
+}
+
+.options-vertical-pane {
+  margin: 15px;
+  width: calc(50% - 30px);
+  min-width: 400px;
+  -moz-padding-start: 5px;
+}
+
+.options-vertical-pane > label {
+  padding: 5px 0;
+  font-size: 1.4rem;
+}
+
+.options-groupbox {
+  -moz-margin-start: 15px;
+  padding: 4px;
+}
+
+.options-groupbox > * {
+  padding: 2px;
+}