From f7774352d38a8e2404c2bc2df66c47ff2acb907b Mon Sep 17 00:00:00 2001
From: Robert Kaiser <robert@widebook.box.kairo.at>
Date: Sun, 28 Jul 2013 20:06:36 +0200
Subject: [PATCH] tweaks for making devtools look nicer

---
 LCARStrek/browser/devtools/common.css   | 4 ++--
 LCARStrek/browser/devtools/debugger.css | 8 ++++++--
 LCARStrek/browser/devtools/toolbox.css  | 8 ++++++--
 LCARStrek/browser/devtools/widgets.css  | 2 +-
 4 files changed, 15 insertions(+), 7 deletions(-)

diff --git a/LCARStrek/browser/devtools/common.css b/LCARStrek/browser/devtools/common.css
index 506d60d9..14b2f830 100644
--- a/LCARStrek/browser/devtools/common.css
+++ b/LCARStrek/browser/devtools/common.css
@@ -54,8 +54,8 @@ devtools-menulist:-moz-focusring,
 .devtools-option-toolbarbutton {
   list-style-image: url("chrome://browser/skin/devtools/option-icon.png");
   -moz-image-region: rect(0px 16px 16px 0px);
-  background: none;
-  border: none;
+/*  background: none;
+  border: none; */
 }
 
 .devtools-option-toolbarbutton:hover,
diff --git a/LCARStrek/browser/devtools/debugger.css b/LCARStrek/browser/devtools/debugger.css
index 7e2523c0..b981648e 100644
--- a/LCARStrek/browser/devtools/debugger.css
+++ b/LCARStrek/browser/devtools/debugger.css
@@ -47,6 +47,10 @@ window {
 
 /* Stack frames view */
 
+#stackframes {
+  min-height: 25px;
+}
+
 .dbg-stackframe-details {
   -moz-padding-start: 4px;
 }
@@ -315,9 +319,9 @@ window {
 }
 
 #instruments-pane-toggle {
-  background: none;
+/*  background: none;
   box-shadow: none;
-  border: none;
+  border: none; */
   list-style-image: url("chrome://browser/skin/devtools/debugger-collapse.png");
   -moz-image-region: rect(0px,16px,16px,0px);
 }
diff --git a/LCARStrek/browser/devtools/toolbox.css b/LCARStrek/browser/devtools/toolbox.css
index 5e71b477..2606642b 100644
--- 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;
 }
 
diff --git a/LCARStrek/browser/devtools/widgets.css b/LCARStrek/browser/devtools/widgets.css
index 199e106b..2161a511 100644
--- a/LCARStrek/browser/devtools/widgets.css
+++ b/LCARStrek/browser/devtools/widgets.css
@@ -25,7 +25,7 @@
      breadcrumbs-widget-items, to match toolbar-buttons style.
      This negative margin compensates the extra row of pixels created
      by the shadow.*/
-  margin: -1px 0;
+/*  margin: -1px 0;*/
 }
 
 /* Preloading hack, LTR */
-- 
2.43.0