adjust network panel styling for recent changes

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

diff --git a/LCARStrek/browser/devtools/toolbox.css b/LCARStrek/browser/devtools/toolbox.css
index 8e5ea9cc9263ff593f260959ada429dd044cf142..2fbf6a64ae13bde296f41fc9dd8ea943677a795e 100644 (file)
--- a/LCARStrek/browser/devtools/toolbox.css
+++ b/LCARStrek/browser/devtools/toolbox.css
@@ -6,8 +6,14 @@ window {
   padding: 0;
 }
 
   padding: 0;
 }
 

-#toolbox-tabs {
-  margin: 0;
+#toolbox-controls {
+  margin: 0 2px;
+}
+
+#toolbox-controls > toolbarbutton,
+#toolbox-dock-buttons > toolbarbutton {
+  min-width: 16px;
+  padding: 1px 3px;

 }
 
 #toolbox-dock-bottom {
 }
 
 #toolbox-dock-bottom {


@@ -29,7 +35,7 @@ window {
 }
 
 #toolbox-dock-window {
 }
 
 #toolbox-dock-window {

-  list-style-image: url("chrome://browser/skin/devtools/dock-window.png");
+  list-style-image: url("chrome://browser/skin/devtools/undock.png");

   -moz-image-region: rect(0px, 16px, 16px, 0px);
 }
 
   -moz-image-region: rect(0px, 16px, 16px, 0px);
 }
 


@@ -46,6 +52,46 @@ window {
   -moz-image-region: rect(0px, 32px, 16px, 16px);
 }
 
   -moz-image-region: rect(0px, 32px, 16px, 16px);
 }
 

+#toolbox-dock-window,
+#toolbox-dock-bottom,
+#toolbox-dock-side,
+#toolbox-close {
+}
+
+#toolbox-dock-window:hover,
+#toolbox-dock-bottom:hover,
+#toolbox-dock-side:hover,
+#toolbox-close:hover {
+}
+
+#toolbox-controls-separator {
+  -moz-margin-start: 4px;
+}
+
+
+/* Command buttons */
+
+.command-button {
+  padding: 1px 4px;
+  min-width: 16px;
+}
+
+.command-button:hover {
+}
+.command-button:hover:active {
+}
+
+#command-button-paintflashing {
+  list-style-image: url("chrome://browser/skin/devtools/command-paintflashing.png");
+  -moz-image-region: rect(0px, 16px, 16px, 0px);
+}
+
+#command-button-paintflashing:hover,
+#command-button-paintflashing:hover:active,
+#command-button-paintflashing[checked=true] {
+  -moz-image-region: rect(0px, 32px, 16px, 16px);
+}
+

 #command-button-responsive {
   list-style-image: url("chrome://browser/skin/devtools/command-responsivemode.png");
   -moz-image-region: rect(0px, 16px, 16px, 0px);
 #command-button-responsive {
   list-style-image: url("chrome://browser/skin/devtools/command-responsivemode.png");
   -moz-image-region: rect(0px, 16px, 16px, 0px);


@@ -85,24 +131,37 @@ window {
 }
 
 #toolbox-tabs {
 }
 
 #toolbox-tabs {

+  margin: 0;

   background-color: #000000;
   color: #FFCF00;
 }
 
 .devtools-tab {
   background-color: #000000;
   color: #FFCF00;
 }
 
 .devtools-tab {

-  min-width: 78px;
-  min-height: 22px;
-  border-radius: 8px 8px 0 0;
+  min-width: 88px;
+  /* min-height: 22px; */
+  color: #000000;

   margin: 0;
   -moz-margin-end: 3px;
   margin: 0;
   -moz-margin-end: 3px;

-  -moz-padding-start: 5px;
+  padding: 1px;
+  -moz-padding-start: 3px;

   background-color: #C09070;
   background-color: #C09070;

-  color: #000000;
+  border-radius: 8px 8px 0 0;

 }
 
 }
 

-.devtools-tab[selected=true] {
-  background-color: #008484;
-  color: #000000;
+.devtools-tab > .radio-label-center-box > .radio-label-box {
+  padding: 0 6px;
+  border-radius: 8px 8px 0 0;
+}
+
+.devtools-tab > .radio-label-center-box > .radio-label-box > .radio-icon {
+  -moz-margin-end: 6px;
+}
+
+.devtools-tab:hover > .radio-label-center-box > .radio-label-box > .radio-icon {
+}
+
+.devtools-tab:active > .radio-label-center-box > .radio-label-box > .radio-icon,
+.devtools-tab[selected=true] > .radio-label-center-box > .radio-label-box > .radio-icon {

 }
 
 .devtools-tab:hover,
 }
 
 .devtools-tab:hover,


@@ -116,6 +175,51 @@ window {
   color: #000000;
 }
 
   color: #000000;
 }
 

-.devtools-tab > .radio-label-box {
-  -moz-margin-start: 0px
+.devtools-tab[selected=true] {
+  background-color: #008484;
+  color: #000000;
+}
+
+.devtools-tab > spacer {
+  max-width: 0;
+  -moz-box-flex: 0;
+}
+
+.devtools-tab > image {
+  -moz-margin-end: 0;
+  -moz-margin-start: 0;
+}
+
+#toolbox-tab-options {
+  min-width: 20px;
+}
+
+#toolbox-tab-options > image {
+  -moz-margin-end: 3px;
+}
+
+
+#options-panel {
+  /* background-image: url("chrome://browser/skin/newtab/noise.png"); */
+}
+
+.options-vertical-pane {
+  margin: 15px;
+  width: calc(50% - 30px);
+  min-width: 400px;
+  -moz-padding-start: 5px;
+}
+
+.options-vertical-pane > label {
+  padding: 5px 0;
+  font-size: 1.4rem;
+}
+
+.options-groupbox {
+  -moz-margin-start: 15px;
+  padding: 4px;
+}
+
+.options-groupbox > * {
+  padding: 2px;

 }
 }