make devtools actually show up correctly in Fx47 and older

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

diff --git a/LCARStrek/devtools/dark-theme.css b/LCARStrek/devtools/dark-theme.css
index 58ae01dd591f8b34e6b3f11da768f4d35b47bbfc..cd51705154864bf84a0292a4636381bf3e127458 100644 (file)
--- a/LCARStrek/devtools/dark-theme.css
+++ b/LCARStrek/devtools/dark-theme.css
@@ -1081,6 +1081,17 @@ div.CodeMirror span.eval-text {
   color: #FFCF00;
 }
 
+.toolbox-panel {
+  display: -moz-box;
+  -moz-box-flex: 1;
+  visibility: collapse;
+}
+
+#toolbox-deck[selectedIndex] > .toolbox-panel, /* workaround for Firefox 47 and older */
+.toolbox-panel[selected] {
+  visibility: visible;
+}
+
 .devtools-tab {
   min-width: 32px;
   max-width: 110px;