fifth part of syncing LCARStrek with Firefox 29 windows theme changes
[themes.git] / LCARStrek / browser / devtools / profiler.css
CommitLineData
cc7e70eb
RK
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
e7c8bab1
RK
5/* === file identical to profiler.inc.css === */
6
cc7e70eb
RK
7window {
8 padding: 0;
9}
10
e7c8bab1
RK
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
cc7e70eb 19.devtools-toolbar {
e7c8bab1 20/* min-height: 33px; */
cc7e70eb
RK
21}
22
e7c8bab1
RK
23.profiler-sidebar {
24 min-width: 196px;
25}
26
27.profiler-sidebar + .devtools-side-splitter {
28 -moz-border-start-color: transparent;
29}
30
45dc7657
RK
31.profiler-sidebar .devtools-toolbar {
32 -moz-border-end: 1px solid #9C9CFF; /* Match the splitter color. */
33}
34
e7c8bab1
RK
35.profiler-sidebar-item {
36 padding: 3px 5px;
37}
38
39.profiler-sidebar-item, .side-menu-widget-item-contents {
40 cursor: default;
41}
42
43.profiler-sidebar-item > h3 {
cc7e70eb 44 font-size: 13px;
e7c8bab1
RK
45 display: block;
46 cursor: pointer;
cc7e70eb
RK
47}
48
e7c8bab1
RK
49.profiler-sidebar-item > hbox {
50 margin-top: 2px;
e7c8bab1
RK
51}
52
53.profiler-sidebar-item > hbox > a {
54 display: none;
55 text-decoration: underline;
cc7e70eb
RK
56 cursor: pointer;
57}
58
e7c8bab1
RK
59.profiler-sidebar-item > hbox > a:hover {
60 color: #FFCF00;
61}
62
63[state=completed].selected .profiler-sidebar-item > hbox > a {
64 display: block;
65}
66
67.selected .profiler-sidebar-item > hbox {
68 color: #3A3A5F; /* 37% of #9C9CFF */
69}
70
624ebb51
RK
71#profiler-start {
72 list-style-image: url("chrome://browser/skin/devtools/profiler-stopwatch.png");
73 -moz-image-region: rect(0px,16px,16px,0px);
74}
75
76#profiler-start:hover {
77 -moz-image-region: rect(16px,16px,32px,0px);
78}
79
80#profiler-start[checked] {
81 -moz-image-region: rect(0px,32px,16px,16px);
82}
83
84#profiler-start[checked]:hover {
85 -moz-image-region: rect(16px,32px,32px,16px);
86}