X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Ftoolbox.css;h=620bd55b8ee57c67e1c939b08c589c82484f99c2;hp=2fbf6a64ae13bde296f41fc9dd8ea943677a795e;hb=fe524e0c0e2035af794e8183b25693f847fb12ce;hpb=f30073a6e9628fead25132bc4464fabe25ee52a1

diff --git a/LCARStrek/browser/devtools/toolbox.css b/LCARStrek/browser/devtools/toolbox.css
index 2fbf6a64..620bd55b 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 {
@@ -43,25 +47,14 @@ window {
   -moz-image-region: rect(0px, 32px, 16px, 16px);
 }
 
-#toolbox-close {
-  list-style-image: url("chrome://global/skin/icons/close.png");
-  -moz-image-region: rect(0px, 16px, 16px, 0px);
-}
-
-#toolbox-close:hover {
-  -moz-image-region: rect(0px, 32px, 16px, 16px);
-}
-
 #toolbox-dock-window,
 #toolbox-dock-bottom,
-#toolbox-dock-side,
-#toolbox-close {
+#toolbox-dock-side {
 }
 
 #toolbox-dock-window:hover,
 #toolbox-dock-bottom:hover,
-#toolbox-dock-side:hover,
-#toolbox-close:hover {
+#toolbox-dock-side:hover {
 }
 
 #toolbox-controls-separator {
@@ -72,7 +65,7 @@ window {
 /* Command buttons */
 
 .command-button {
-  padding: 1px 4px;
+/*  padding: 1px 4px; */
   min-width: 16px;
 }
 
@@ -137,8 +130,8 @@ window {
 }
 
 .devtools-tab {
-  min-width: 88px;
-  /* min-height: 22px; */
+  min-width: 32px;
+  max-width: 110px;
   color: #000000;
   margin: 0;
   -moz-margin-end: 3px;
@@ -148,20 +141,20 @@ window {
   border-radius: 8px 8px 0 0;
 }
 
-.devtools-tab > .radio-label-center-box > .radio-label-box {
-  padding: 0 6px;
-  border-radius: 8px 8px 0 0;
+.devtools-tab > image {
+  -moz-margin-end: 0px;
+/*  -moz-margin-start: 4px; */
 }
 
-.devtools-tab > .radio-label-center-box > .radio-label-box > .radio-icon {
-  -moz-margin-end: 6px;
+#toolbox-tab-options > image {
+/*  margin: 0 8px; */
 }
 
-.devtools-tab:hover > .radio-label-center-box > .radio-label-box > .radio-icon {
+.devtools-tab:hover > image {
 }
 
-.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:active > image,
+.devtools-tab[selected=true] > image {
 }
 
 .devtools-tab:hover,
@@ -170,11 +163,6 @@ window {
   color: #000000;
 }
 
-.devtools-tab:hover > .radio-label-center-box > .radio-label-box,
-.devtools-tab:hover:active > .radio-label-center-box > .radio-label-box {
-  color: #000000;
-}
-
 .devtools-tab[selected=true] {
   background-color: #008484;
   color: #000000;
@@ -198,28 +186,61 @@ window {
   -moz-margin-end: 3px;
 }
 
+.devtools-tab:not(.highlighted) > .highlighted-icon,
+.devtools-tab[selected=true] > .highlighted-icon,
+.devtools-tab:not([selected=true]).highlighted > .default-icon {
+  visibility: collapse;
+}
+
+.devtools-tab:not([selected=true]).highlighted {
+  color: #FFCF00;
+}
+
+.devtools-tab:not(.highlighted) > .highlighted-icon,
+.devtools-tab[selected=true] > .highlighted-icon,
+.devtools-tab:not([selected=true]).highlighted > .default-icon {
+  visibility: collapse;
+}
 
 #options-panel {
   /* background-image: url("chrome://browser/skin/newtab/noise.png"); */
 }
 
 .options-vertical-pane {
-  margin: 15px;
+  margin: 5px;
   width: calc(50% - 30px);
   min-width: 400px;
   -moz-padding-start: 5px;
 }
 
 .options-vertical-pane > label {
-  padding: 5px 0;
+  padding: 2px 0;
   font-size: 1.4rem;
 }
 
 .options-groupbox {
   -moz-margin-start: 15px;
-  padding: 4px;
+  padding: 2px;
 }
 
 .options-groupbox > * {
   padding: 2px;
 }
+
+.options-citation-label {
+  font-size: 1rem !important;
+  /* !important is required otherwise font-size will still be 1.4rem */
+  font-style: italic;
+  padding: 4px 0 0; /* To align it with the checkbox */
+  color: #A09090;
+}
+
+.options-citation-label + label {
+  padding: 3px 0 0 !important; /* To align it with the checkbox */
+  font-style: italic;
+}
+
+.hidden-labels-box:not(.visible) > label,
+.hidden-labels-box.visible ~ .hidden-labels-box > label:last-child {
+  display: none;
+}