make devtools actually show up correctly in Fx47 and older

diff --git a/LCARStrek/devtools/dark-theme.css b/LCARStrek/devtools/dark-theme.css
index 818ce158acfbf71b39a506cc341691912ab32038..cd51705154864bf84a0292a4636381bf3e127458 100644 (file)
--- a/LCARStrek/devtools/dark-theme.css
+++ b/LCARStrek/devtools/dark-theme.css
@@ -1087,6 +1087,7 @@ div.CodeMirror span.eval-text {
   visibility: collapse;
 }
 
+#toolbox-deck[selectedIndex] > .toolbox-panel, /* workaround for Firefox 47 and older */
 .toolbox-panel[selected] {
   visibility: visible;
 }