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/. */
13 #toolbox-dock-bottom {
14 list-style-image: url("chrome://browser/skin/devtools/dock-bottom.png");
15 -moz-image-region: rect(0px, 16px, 16px, 0px);
18 #toolbox-dock-bottom:hover {
19 -moz-image-region: rect(0px, 32px, 16px, 16px);
23 list-style-image: url("chrome://browser/skin/devtools/dock-side.png");
24 -moz-image-region: rect(0px, 16px, 16px, 0px);
27 #toolbox-dock-side:hover {
28 -moz-image-region: rect(0px, 32px, 16px, 16px);
31 #toolbox-dock-window {
32 list-style-image: url("chrome://browser/skin/devtools/dock-window.png");
33 -moz-image-region: rect(0px, 16px, 16px, 0px);
36 #toolbox-dock-window:hover {
37 -moz-image-region: rect(0px, 32px, 16px, 16px);
41 list-style-image: url("chrome://global/skin/icons/close.png");
42 -moz-image-region: rect(0px, 16px, 16px, 0px);
45 #toolbox-close:hover {
46 -moz-image-region: rect(0px, 32px, 16px, 16px);
49 #command-button-responsive {
50 list-style-image: url("chrome://browser/skin/devtools/command-responsivemode.png");
51 -moz-image-region: rect(0px, 16px, 16px, 0px);
54 #command-button-responsive:hover,
55 #command-button-responsive:hover:active,
56 #command-button-responsive[checked=true] {
57 -moz-image-region: rect(0px, 32px, 16px, 16px);
60 #command-button-tilt {
61 list-style-image: url("chrome://browser/skin/devtools/command-tilt.png");
62 -moz-image-region: rect(0px, 16px, 16px, 0px);
65 #command-button-tilt:hover,
66 #command-button-tilt:hover:active,
67 #command-button-tilt[checked=true] {
68 -moz-image-region: rect(0px, 32px, 16px, 16px);
71 #command-button-scratchpad {
72 list-style-image: url("chrome://browser/skin/devtools/command-scratchpad.png");
73 -moz-image-region: rect(0px, 16px, 16px, 0px);
76 #command-button-scratchpad:hover,
77 #command-button-scratchpad:hover:active {
78 -moz-image-region: rect(0px, 32px, 16px, 16px);
88 background-color: #000000;
95 border-radius: 3px 3px 0 0;
98 -moz-padding-start: 5px;
101 .devtools-tab[selected=true] {
102 background-color: #008484;
107 .devtools-tab:hover:active {
108 background-color: #FFCF00;
112 .devtools-tab:hover > .radio-label-center-box > .radio-label-box,
113 .devtools-tab:hover:active > .radio-label-center-box > .radio-label-box {
117 .devtools-tab > .radio-label-box {
118 -moz-margin-start: 0px