tweaks for making devtools look nicer
[themes.git] / LCARStrek / browser / 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
5window {
6 padding: 0;
7}
8
9.devtools-toolbar {
10}
11
12.profile-name {
13 font-size: 13px;
14 padding: 8px;
15}
16
17#profiles-list > li {
18 width: 180px;
19 cursor: pointer;
20}
21
22.splitview-nav-container button {
23 color: #FF9F00;
24 background-clip: padding-box;
25 border-bottom: 1px solid #A09090;
26 -moz-padding-end: 8px;
27 -moz-box-align: center;
28}
29
30#profiler-start {
31 list-style-image: url("chrome://browser/skin/devtools/profiler-stopwatch.png");
32 -moz-image-region: rect(0px,16px,16px,0px);
33}
34
35#profiler-start:hover {
36 -moz-image-region: rect(16px,16px,32px,0px);
37}
38
39#profiler-start[checked] {
40 -moz-image-region: rect(0px,32px,16px,16px);
41}
42
43#profiler-start[checked]:hover {
44 -moz-image-region: rect(16px,32px,32px,16px);
45}