tweaks for making devtools look nicer

[themes.git] / LCARStrek / browser / devtools / toolbox.css

diff --git a/LCARStrek/browser/devtools/toolbox.css b/LCARStrek/browser/devtools/toolbox.css
index 2fbf6a64ae13bde296f41fc9dd8ea943677a795e..2606642ba4f4e73252eb13a23c8f05ae3894e15b 100644 (file)
--- a/LCARStrek/browser/devtools/toolbox.css
+++ b/LCARStrek/browser/devtools/toolbox.css
@@ -6,6 +6,10 @@ window {
   padding: 0;
 }
 
+notification {
+  margin-bottom: 3px;
+}
+
 #toolbox-controls {
   margin: 0 2px;
 }
@@ -13,7 +17,7 @@ window {
 #toolbox-controls > toolbarbutton,
 #toolbox-dock-buttons > toolbarbutton {
   min-width: 16px;
-  padding: 1px 3px;
+/*  padding: 1px 3px; */
 }
 
 #toolbox-dock-bottom {
@@ -72,7 +76,7 @@ window {
 /* Command buttons */
 
 .command-button {
-  padding: 1px 4px;
+/*  padding: 1px 4px; */
   min-width: 16px;
 }
 
@@ -137,8 +141,8 @@ window {
 }
 
 .devtools-tab {
-  min-width: 88px;
-  /* min-height: 22px; */
+  min-width: 32px;
+  max-width: 110px;
   color: #000000;
   margin: 0;
   -moz-margin-end: 3px;
@@ -148,20 +152,20 @@ window {
   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,
@@ -170,11 +174,6 @@ window {
   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;
@@ -198,6 +197,11 @@ window {
   -moz-margin-end: 3px;
 }
 
+.devtools-tab:not(.highlighted) > .highlighted-icon,
+.devtools-tab[selected=true] > .highlighted-icon,
+.devtools-tab:not([selected=true]).highlighted > .default-icon {
+  visibility: collapse;
+}
 
 #options-panel {
   /* background-image: url("chrome://browser/skin/newtab/noise.png"); */