X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fprofiler.css;h=858d28f5b94de0239570cc42ba11d34cb96059ce;hp=30bc66bcef64a3c189772a712bf63c1bf9663ab5;hb=46e71434a8715fd5d7590f7b799544961ea0394a;hpb=05e71693d17f86b92ca00526ff75d20bc0cb5004

diff --git a/LCARStrek/browser/devtools/profiler.css b/LCARStrek/browser/devtools/profiler.css
index 30bc66bc..858d28f5 100644
--- a/LCARStrek/browser/devtools/profiler.css
+++ b/LCARStrek/browser/devtools/profiler.css
@@ -2,28 +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 {
-  border-bottom: none;
+/*  min-height: 33px; */
+}
+
+.profiler-sidebar {
+  min-width: 196px;
+}
+
+.profiler-sidebar + .devtools-side-splitter {
+  -moz-border-start-color: transparent;
 }
 
-.profile-name {
+.profiler-sidebar .devtools-toolbar {
+  -moz-border-end: 1px solid #9C9CFF; /* Match the splitter color. */
+}
+
+.profiler-sidebar-item {
+  padding: 3px 5px;
+}
+
+.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;
+}
+
+.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-start {
+  list-style-image: url("chrome://browser/skin/devtools/profiler-stopwatch.png");
+  -moz-image-region: rect(0px,16px,16px,0px);
+}
+
+#profiler-start:hover {
+  -moz-image-region: rect(16px,16px,32px,0px);
+}
+
+#profiler-start[checked] {
+  -moz-image-region: rect(0px,32px,16px,16px);
+}
+
+#profiler-start[checked]:hover {
+  -moz-image-region: rect(16px,32px,32px,16px);
 }