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

diff --git a/LCARStrek/browser/devtools/profiler.css b/LCARStrek/browser/devtools/profiler.css
index bfdf77af..22861fac 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; */
 }
 
-.profile-name {
+.profiler-sidebar {
+  min-width: 196px;
+}
+
+.profiler-sidebar + .devtools-side-splitter {
+  -moz-border-start-color: transparent;
+}
+
+.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;
+  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 {
@@ -43,3 +99,32 @@ window {
 #profiler-start[checked]:hover {
   -moz-image-region: rect(16px,32px,32px,16px);
 }
+
+
+
+
+
+
+/*
+.devtools-toolbar {
+}
+
+.profile-name {
+  font-size: 13px;
+  padding: 8px;
+}
+
+#profiles-list > li {
+  width: 180px;
+  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;
+}
+
+*/
\ No newline at end of file