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;
101 .devtools-searchinput {
102 -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: 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;
114 /* color: inherit; */
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%);*/
146 .devtools-no-search-result {
147 /* box-shadow: inset 0 0 0 1px hsla(0,68%,6%,.35);
148 border-color: hsl(10,70%,40%) hsl(10,75%,37%) hsl(10,80%,35%) !important;*/
149 background-image: url("magnifying-glass.png"), linear-gradient(rgba(255,0,0,.15), rgba(255,0,0,.35));
154 .devtools-closebutton {
155 list-style-image: url("chrome://global/skin/icons/close-button.gif");
160 .devtools-closebutton > .toolbarbutton-text {
164 .devtools-closebutton:hover,
165 .devtools-closebutton:hover:active {
166 list-style-image: url("chrome://global/skin/icons/close-button-hover.gif");
171 .devtools-horizontal-splitter {
177 #devtools-side-splitter {
183 /* In-tools sidebar */
185 .devtools-sidebar-tabs {
188 .devtools-sidebar-tabs > tabpanels {
193 .devtools-sidebar-tabs > tabs {
198 .devtools-sidebar-tabs > tabs > .tabs-right,
199 .devtools-sidebar-tabs > tabs > .tabs-left {
203 .devtools-sidebar-tabs > tabs > tab {
211 .devtools-sidebar-tabs > tabs > tab:-moz-focusring {
215 .devtools-sidebar-tabs > tabs > tab:last-of-type {
216 -moz-border-end-width: 0;
219 .devtools-sidebar-tabs > tabs > tab:first-of-type {
220 -moz-margin-start: 0;
223 .devtools-sidebar-tabs > tabs > tab {
226 .devtools-sidebar-tabs:-moz-locale-dir(rtl) > tabs > tab {
229 .devtools-sidebar-tabs > tabs > tab {
232 .devtools-sidebar-tabs > tabs > tab:hover {
235 .devtools-sidebar-tabs > tabs > tab:hover:active {
238 .devtools-sidebar-tabs > tabs > tab[selected=true] + tab {
241 .devtools-sidebar-tabs > tabs > tab[selected=true] + tab:hover {
244 .devtools-sidebar-tabs > tabs > tab[selected=true] + tab:hover:active {
247 .devtools-sidebar-tabs > tabs > tab[selected=true] {
250 .devtools-sidebar-tabs > tabs > tab[selected=true]:hover {
253 .devtools-sidebar-tabs > tabs > tab[selected=true]:hover:active {
258 .devtools-theme-background {
259 background-color: #000000;
263 .devtools-theme-comment {
264 color: #A09090; /* original: grey */
267 .devtools-theme-keyword {
268 color: #8050B0; /* original: purple */
271 .devtools-theme-string {
272 color: #E7ADE7; /* original: green */
275 .devtools-theme-tagname {
276 color: #FFCF00; /* original: dark blue */
279 .devtools-theme-attrname {
280 color: #9C9CFF; /* original: blue */
283 .devtools-theme-attrvalue {
284 color: #C09070; /* original: orange */
287 /* LCARStrek-specific adaptions */
290 /* HACK for profiler in the dev toolbox in FF 20+. */
294 #profiler-chrome > box > box > .devtools-toolbar {