make sure web console displays and hides usefully (even on 17)

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

diff --git a/LCARStrek/browser/devtools/webconsole.css b/LCARStrek/browser/devtools/webconsole.css
index 8023a8e2a34fd2e5f72d1b021b7473d4fd000515..c9303d60dc70878eff7706e7bfaf39b26fa5b417 100644 (file)
--- a/LCARStrek/browser/devtools/webconsole.css
+++ b/LCARStrek/browser/devtools/webconsole.css
@@ -2,6 +2,10 @@
  * License, v. 2.0. If a copy of the MPL was not distributed with this
  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
 
+window {
+  padding: 0;
+}
+
 .hud-box {
   border-bottom: 3px solid #000000;
 }
@@ -268,12 +272,12 @@
 
 .jsterm-input-node,
 .jsterm-complete-node {
-  border: none;
-  padding: 0 0 0 16px;
+  -moz-padding-start: 16px;
+  margin: 3px 0 0 0;
 }
 
 .jsterm-input-node {
-  background: url("chrome://global/skin/icons/commandline.png") 4px 3px no-repeat;
+  background: url("chrome://browser/skin/devtools/commandline.png") 4px 3px no-repeat;
 }
 
 :-moz-any(.jsterm-input-node,