1 /* vim:set ts=2 sw=2 sts=2 et: */
2 /* This Source Code Form is subject to the terms of the Mozilla Public
3 * License, v. 2.0. If a copy of the MPL was not distributed with this
4 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
8 font: 12px "Liberation Mono", Consolas, "Courier New", monospace;
11 /* Toolbar and Toolbar items */
17 .devtools-toolbarbutton {
20 .devtools-toolbarbutton > .toolbarbutton-menubutton-button {
21 /*-moz-box-orient: horizontal;*/
24 devtools-menulist:-moz-focusring,
25 .devtools-toolbarbutton:-moz-focusring {
26 outline: 1px dotted #008484;
29 .devtools-toolbarbutton > .toolbarbutton-icon {
32 .devtools-toolbarbutton:not([label]) {
36 .devtools-toolbarbutton:not([label]) > .toolbarbutton-text {
40 .devtools-toolbarbutton:not([checked=true]):hover:active {
43 .devtools-menulist[open=true],
44 .devtools-toolbarbutton[open=true],
45 .devtools-toolbarbutton[checked=true] {
48 .devtools-toolbarbutton[checked=true] {
51 .devtools-toolbarbutton[checked=true]:hover:active {
54 .devtools-option-toolbarbutton {
55 list-style-image: url("chrome://browser/skin/devtools/option-icon.png");
56 -moz-image-region: rect(0px 16px 16px 0px);
61 .devtools-option-toolbarbutton:hover,
62 .devtools-option-toolbarbutton[open=true] {
63 -moz-image-region: rect(0px 32px 16px 16px);
66 .devtools-menulist > .menulist-label-box {
70 .devtools-menulist > .menulist-dropmarker {
73 .devtools-menulist:focus:not([open="true"]):not(.menulist-compact) > .menulist-label-box {
76 /* LCARStrek checkbox colors don't work well against toolbar background */
77 .devtools-toolbar > checkbox {
78 background-color: #000000;
82 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
85 .devtools-toolbarbutton[type=menu-button]:-moz-locale-dir(rtl) > .toolbarbutton-menubutton-button {
88 .devtools-toolbarbutton[type=menu-button] {
90 -moz-box-align: stretch;
93 .devtools-toolbarbutton[type=menu] > .toolbarbutton-menu-dropmarker,
94 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-dropmarker {
95 -moz-box-align: center;
102 .devtools-searchinput {
103 -moz-appearance: none;
105 border: 1px solid hsla(211,68%,6%,.6);
106 box-shadow: inset 0 1px 0 hsla(211,68%,6%,.05), 0 0 0 1px hsla(210,40%,83%,.1);
108 background-color: transparent;
109 background-image: -moz-linear-gradient(hsla(210,16%,76%,.15), hsla(210,16%,76%,.35));
111 transition-property: background-color, border-color, box-shadow;
112 transition-duration: 150ms;
113 transition-timing-function: ease;
117 .devtools-searchinput {
118 background-image: url(magnifying-glass.png), linear-gradient(hsla(210,16%,76%,.15), hsla(210,16%,76%,.35));
119 background-repeat: no-repeat;
120 background-position: 4px center, top left, top left;
123 -moz-padding-start: 18px;
124 -moz-padding-end: 12px;
127 .devtools-searchinput[focused] {
128 border-color: hsl(200,70%,40%) hsl(200,75%,37%) hsl(200,80%,35%);
129 background-origin: padding-box;
130 background-clip: padding-box;
131 box-shadow: inset 0 0 0 1px hsla(211,68%,6%,.1);
134 .devtools-searchinput:-moz-locale-dir(rtl) {
135 background-position: calc(100% - 4px) center, top left, top left;
138 .devtools-searchinput > .textbox-input-box > .textbox-search-icons {
142 .devtools-searchinput > .textbox-input-box > .textbox-input::-moz-placeholder {
143 color: hsl(208,10%,66%);
149 .devtools-closebutton {
150 list-style-image: url("chrome://global/skin/icons/close-button.gif");
155 .devtools-closebutton > .toolbarbutton-text {
159 .devtools-closebutton:hover,
160 .devtools-closebutton:hover:active {
161 list-style-image: url("chrome://global/skin/icons/close-button-hover.gif");
166 .devtools-horizontal-splitter {
172 #devtools-side-splitter {
178 /* In-tools sidebar */
180 .devtools-sidebar-tabs {
183 .devtools-sidebar-tabs > tabpanels {
188 .devtools-sidebar-tabs > tabs {
193 .devtools-sidebar-tabs > tabs > .tabs-right,
194 .devtools-sidebar-tabs > tabs > .tabs-left {
198 .devtools-sidebar-tabs > tabs > tab {
205 .devtools-sidebar-tabs > tabs > tab:-moz-focusring {
209 .devtools-sidebar-tabs > tabs > tab:last-of-type {
210 -moz-border-end-width: 0;
213 .devtools-sidebar-tabs > tabs > tab:first-of-type {
214 -moz-margin-start: 0;
217 .devtools-sidebar-tabs > tabs > tab {
220 .devtools-sidebar-tabs:-moz-locale-dir(rtl) > tabs > tab {
223 .devtools-sidebar-tabs > tabs > tab {
226 .devtools-sidebar-tabs > tabs > tab:hover {
229 .devtools-sidebar-tabs > tabs > tab:hover:active {
232 .devtools-sidebar-tabs > tabs > tab[selected=true] + tab {
235 .devtools-sidebar-tabs > tabs > tab[selected=true] + tab:hover {
238 .devtools-sidebar-tabs > tabs > tab[selected=true] + tab:hover:active {
241 .devtools-sidebar-tabs > tabs > tab[selected=true] {
244 .devtools-sidebar-tabs > tabs > tab[selected=true]:hover {
247 .devtools-sidebar-tabs > tabs > tab[selected=true]:hover:active {
252 .devtools-theme-background {
253 background-color: #000000;
257 .devtools-theme-comment {
258 color: #A09090; /* original: grey */
261 .devtools-theme-keyword {
262 color: #8050B0; /* original: purple */
265 .devtools-theme-string {
266 color: #E7ADE7; /* original: green */
269 .devtools-theme-tagname {
270 color: #FFCF00; /* original: dark blue */
273 .devtools-theme-attrname {
274 color: #9C9CFF; /* original: blue */
277 .devtools-theme-attrvalue {
278 color: #C09070; /* original: orange */
281 /* LCARStrek-specific adaptions */
284 /* HACK for profiler in the dev toolbox in FF 20+. */
288 #profiler-chrome > box > box > .devtools-toolbar {