some corrections and finishing touches to that LCARStrek works well for Firefox 55...
[themes.git] / devtools / profiler.css
... / ...
CommitLineData
1/* This Source Code Form is subject to the terms of the Mozilla Public
2 * License, v. 2.0. If a copy of the MPL was not distributed with this
3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
4
5/* === file identical to profiler.inc.css === */
6
7window {
8 padding: 0;
9}
10
11.profiler-sidebar-empty-notice {
12 max-width: 176px;
13 padding: 10px;
14 background-color: #A09090;
15 color: #000000;
16 font-weight: bold;
17}
18
19.devtools-toolbar {
20/* min-height: 33px; */
21}
22
23.profiler-sidebar {
24 min-width: 196px;
25}
26
27.profiler-sidebar + .devtools-side-splitter {
28 -moz-border-start-color: transparent;
29}
30
31.profiler-sidebar-item {
32 padding: 3px 5px;
33}
34
35.profiler-sidebar-item, .side-menu-widget-item-contents {
36 cursor: default;
37}
38
39.profiler-sidebar-item > h3 {
40 font-size: 13px;
41 display: block;
42 cursor: pointer;
43}
44
45.profiler-sidebar-item > hbox {
46 margin-top: 2px;
47 color: #A09090;
48}
49
50.profiler-sidebar-item > hbox > a {
51 display: none;
52 text-decoration: underline;
53 cursor: pointer;
54}
55
56.profiler-sidebar-item > hbox > a:hover {
57 color: #FFCF00;
58}
59
60[state=completed].selected .profiler-sidebar-item > hbox > a {
61 display: block;
62}
63
64.selected .profiler-sidebar-item > hbox {
65 color: #3A3A5F; /* 37% of #9C9CFF */
66}
67
68#profiler-controls > toolbarbutton {
69/* margin: 0;
70 box-shadow: none;
71 border-radius: 0;
72 border-width: 0;
73 -moz-border-end-width: 1px;
74 outline-offset: -3px;*/
75}
76
77#profiler-controls > toolbarbutton:last-of-type {
78/* -moz-border-end-width: 0;*/
79}
80
81#profiler-controls {
82 border-radius: 3px;
83 margin: 0 3px;
84}
85
86#profiler-start {
87 list-style-image: url("chrome://browser/skin/devtools/profiler-stopwatch.png");
88 -moz-image-region: rect(0px,16px,16px,0px);
89}
90
91#profiler-start:hover {
92 -moz-image-region: rect(16px,16px,32px,0px);
93}
94
95#profiler-start[checked] {
96 -moz-image-region: rect(0px,32px,16px,16px);
97}
98
99#profiler-start[checked]:hover {
100 -moz-image-region: rect(16px,32px,32px,16px);
101}