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;
106 border: 1px solid hsla(211,68%,6%,.6);
107 box-shadow: inset 0 1px 0 hsla(211,68%,6%,.05), 0 0 0 1px hsla(210,40%,83%,.1);
109 background-color: transparent;
110 background-image: linear-gradient(hsla(210,16%,76%,.15), hsla(210,16%,76%,.35));
112 transition-property: background-color, border-color, box-shadow;
113 transition-duration: 150ms;
114 transition-timing-function: ease;
118 .devtools-searchinput {
119 background-image: url(magnifying-glass.png), linear-gradient(hsla(210,16%,76%,.15), hsla(210,16%,76%,.35));
120 background-repeat: no-repeat;
121 background-position: 4px center, top left, top left;
124 -moz-padding-start: 18px;
125 -moz-padding-end: 12px;
128 .devtools-searchinput[focused] {
129 border-color: hsl(200,70%,40%) hsl(200,75%,37%) hsl(200,80%,35%);
130 background-origin: padding-box;
131 background-clip: padding-box;
132 box-shadow: inset 0 0 0 1px hsla(211,68%,6%,.1);
135 .devtools-searchinput:-moz-locale-dir(rtl) {
136 background-position: calc(100% - 4px) center, top left, top left;
139 .devtools-searchinput > .textbox-input-box > .textbox-search-icons {
143 .devtools-searchinput > .textbox-input-box > .textbox-input::-moz-placeholder {
144 color: hsl(208,10%,66%);
150 .devtools-closebutton {
151 list-style-image: url("chrome://global/skin/icons/close-button.gif");
156 .devtools-closebutton > .toolbarbutton-text {
160 .devtools-closebutton:hover,
161 .devtools-closebutton:hover:active {
162 list-style-image: url("chrome://global/skin/icons/close-button-hover.gif");
167 .devtools-horizontal-splitter {
173 #devtools-side-splitter {
179 /* In-tools sidebar */
181 .devtools-sidebar-tabs {
184 .devtools-sidebar-tabs > tabpanels {
189 .devtools-sidebar-tabs > tabs {
194 .devtools-sidebar-tabs > tabs > .tabs-right,
195 .devtools-sidebar-tabs > tabs > .tabs-left {
199 .devtools-sidebar-tabs > tabs > tab {
206 .devtools-sidebar-tabs > tabs > tab:-moz-focusring {
210 .devtools-sidebar-tabs > tabs > tab:last-of-type {
211 -moz-border-end-width: 0;
214 .devtools-sidebar-tabs > tabs > tab:first-of-type {
215 -moz-margin-start: 0;
218 .devtools-sidebar-tabs > tabs > tab {
221 .devtools-sidebar-tabs:-moz-locale-dir(rtl) > tabs > tab {
224 .devtools-sidebar-tabs > tabs > tab {
227 .devtools-sidebar-tabs > tabs > tab:hover {
230 .devtools-sidebar-tabs > tabs > tab:hover:active {
233 .devtools-sidebar-tabs > tabs > tab[selected=true] + tab {
236 .devtools-sidebar-tabs > tabs > tab[selected=true] + tab:hover {
239 .devtools-sidebar-tabs > tabs > tab[selected=true] + tab:hover:active {
242 .devtools-sidebar-tabs > tabs > tab[selected=true] {
245 .devtools-sidebar-tabs > tabs > tab[selected=true]:hover {
248 .devtools-sidebar-tabs > tabs > tab[selected=true]:hover:active {
253 .devtools-theme-background {
254 background-color: #000000;
258 .devtools-theme-comment {
259 color: #A09090; /* original: grey */
262 .devtools-theme-keyword {
263 color: #8050B0; /* original: purple */
266 .devtools-theme-string {
267 color: #E7ADE7; /* original: green */
270 .devtools-theme-tagname {
271 color: #FFCF00; /* original: dark blue */
274 .devtools-theme-attrname {
275 color: #9C9CFF; /* original: blue */
278 .devtools-theme-attrvalue {
279 color: #C09070; /* original: orange */
282 /* LCARStrek-specific adaptions */
285 /* HACK for profiler in the dev toolbox in FF 20+. */
289 #profiler-chrome > box > box > .devtools-toolbar {