fourth part of syncing LCARStrek with Firefox 32 windows theme changes

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

diff --git a/LCARStrek/browser/devtools/profiler.css b/LCARStrek/browser/devtools/profiler.css
index 22861facb8bd36ec0c3e9117945ba66342ee712e..e5e40f45d8897bb20677904e0c93bb7cad1fef43 100644 (file)
--- a/LCARStrek/browser/devtools/profiler.css
+++ b/LCARStrek/browser/devtools/profiler.css
@@ -28,6 +28,10 @@ window {
   -moz-border-start-color: transparent;
 }
 
+.profiler-sidebar .devtools-toolbar {
+  -moz-border-end: 1px solid #9C9CFF; /* Match the splitter color. */
+}
+
 .profiler-sidebar-item {
   padding: 3px 5px;
 }
@@ -44,7 +48,6 @@ window {
 
 .profiler-sidebar-item > hbox {
   margin-top: 2px;
-  color: #A09090;
 }
 
 .profiler-sidebar-item > hbox > a {
@@ -65,66 +68,12 @@ window {
   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 {
-  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);
+  list-style-image: url("chrome://browser/skin/devtools/profiler-stopwatch-tbutton.svg");
 }
 
+#profiler-start:hover,
+#profiler-start[checked],
 #profiler-start[checked]:hover {
-  -moz-image-region: rect(16px,32px,32px,16px);
+  list-style-image: url("chrome://browser/skin/devtools/profiler-stopwatch.svg");
 }
-
-
-
-
-
-
-/*
-.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