X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fprofiler.css;h=cec665ebb248a660f6188ecf519ebef24563a293;hp=bfdf77af1c1aa98bcd5cd76b917ecd5e1019e226;hb=fe524e0c0e2035af794e8183b25693f847fb12ce;hpb=624ebb51af2c1be7397d1b2850a9441fafbe5cd8

diff --git a/LCARStrek/browser/devtools/profiler.css b/LCARStrek/browser/devtools/profiler.css
index bfdf77af..cec665eb 100644
--- a/LCARStrek/browser/devtools/profiler.css
+++ b/LCARStrek/browser/devtools/profiler.css
@@ -2,29 +2,85 @@
  * 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/. */
 
+/* === file identical to profiler.inc.css === */
+
 window {
   padding: 0;
 }
 
+.profiler-sidebar-empty-notice {
+  max-width: 176px;
+  padding: 10px;
+  background-color: #A09090;
+  color: #000000;
+  font-weight: bold;
+}
+
 .devtools-toolbar {
+/*  min-height: 33px; */
+}
+
+.profiler-sidebar {
+  min-width: 196px;
+}
+
+.profiler-sidebar + .devtools-side-splitter {
+  -moz-border-start-color: transparent;
+}
+
+.profiler-sidebar-item {
+  padding: 3px 5px;
 }
 
-.profile-name {
+.profiler-sidebar-item, .side-menu-widget-item-contents {
+  cursor: default;
+}
+
+.profiler-sidebar-item > h3 {
   font-size: 13px;
-  padding: 8px;
+  display: block;
+  cursor: pointer;
 }
 
-#profiles-list > li {
-  width: 180px;
+.profiler-sidebar-item > hbox {
+  margin-top: 2px;
+  color: #A09090;
+}
+
+.profiler-sidebar-item > hbox > a {
+  display: none;
+  text-decoration: underline;
   cursor: pointer;
 }
 
-.splitview-nav-container button {
-  color: #FF9F00;
-  background-clip: padding-box;
-  border-bottom: 1px solid #A09090;
-  -moz-padding-end: 8px;
-  -moz-box-align: center;
+.profiler-sidebar-item > hbox > a:hover {
+  color: #FFCF00;
+}
+
+[state=completed].selected .profiler-sidebar-item > hbox > a {
+  display: block;
+}
+
+.selected .profiler-sidebar-item > hbox {
+  color: #3A3A5F; /* 37% of #9C9CFF */
+}
+
+#profiler-controls > toolbarbutton {
+/*  margin: 0;
+  box-shadow: none;
+  border-radius: 0;
+  border-width: 0;
+  -moz-border-end-width: 1px;
+  outline-offset: -3px;*/
+}
+
+#profiler-controls > toolbarbutton:last-of-type {
+/*  -moz-border-end-width: 0;*/
+}
+
+#profiler-controls {
+  border-radius: 3px;
+  margin: 0 3px;
 }
 
 #profiler-start {