make devtools work with 25 trunk

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

diff --git a/LCARStrek/browser/devtools/profiler.css b/LCARStrek/browser/devtools/profiler.css
index 30bc66bcef64a3c189772a712bf63c1bf9663ab5..bfdf77af1c1aa98bcd5cd76b917ecd5e1019e226 100644 (file)
--- a/LCARStrek/browser/devtools/profiler.css
+++ b/LCARStrek/browser/devtools/profiler.css
@@ -7,7 +7,6 @@ window {
 }
 
 .devtools-toolbar {
-  border-bottom: none;
 }
 
 .profile-name {
@@ -27,3 +26,20 @@ window {
   -moz-padding-end: 8px;
   -moz-box-align: center;
 }
+
+#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);
+}