make devtools work with 25 trunk

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

diff --git a/LCARStrek/browser/devtools/toolbox.css b/LCARStrek/browser/devtools/toolbox.css
index ffb857ed2f9eb3086927d8c91c389bdbe62abc8b..5e71b4775f82db60877be17b5c7c727a9f18d9cb 100644 (file)
--- a/LCARStrek/browser/devtools/toolbox.css
+++ b/LCARStrek/browser/devtools/toolbox.css
@@ -150,7 +150,11 @@ window {
 
 .devtools-tab > image {
   -moz-margin-end: 0px;
-/*  -moz-margin-start: 8px; */
+/*  -moz-margin-start: 4px; */
+}
+
+#toolbox-tab-options > image {
+/*  margin: 0 8px; */
 }
 
 .devtools-tab:hover > image {
@@ -189,6 +193,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"); */