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/. */
6 /* Toolbar and Toolbar items */
12 .devtools-toolbarbutton {
15 .devtools-toolbarbutton > .toolbarbutton-menubutton-button {
16 /*-moz-box-orient: horizontal;*/
19 devtools-menulist:-moz-focusring,
20 .devtools-toolbarbutton:-moz-focusring {
21 outline: 1px dotted #008484;
24 .devtools-toolbarbutton > .toolbarbutton-icon {
27 .devtools-toolbarbutton:not([label]) {
31 .devtools-toolbarbutton:not([checked=true]):hover:active {
34 .devtools-menulist[open=true],
35 .devtools-toolbarbutton[open=true],
36 .devtools-toolbarbutton[checked=true] {
39 .devtools-toolbarbutton[checked=true] {
42 .devtools-toolbarbutton[checked=true]:hover:active {
45 .devtools-menulist > .menulist-label-box {
49 .devtools-menulist > .menulist-dropmarker {
52 .devtools-menulist:focus:not([open="true"]):not(.menulist-compact) > .menulist-label-box {
55 /* LCARStrek checkbox colors don't work well against toolbar background */
56 .devtools-toolbar > checkbox {
57 background-color: #000000;
61 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
64 .devtools-toolbarbutton[type=menu-button]:-moz-locale-dir(rtl) > .toolbarbutton-menubutton-button {
67 .devtools-toolbarbutton[type=menu-button] {
69 -moz-box-align: stretch;
72 .devtools-toolbarbutton[type=menu] > .toolbarbutton-menu-dropmarker,
73 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-dropmarker {
74 -moz-box-align: center;
80 .devtools-searchinput {
81 -moz-appearance: none;
83 border: 1px solid hsla(211,68%,6%,.6);
84 box-shadow: inset 0 1px 0 hsla(211,68%,6%,.05), 0 0 0 1px hsla(210,40%,83%,.1);
86 background-color: transparent;
87 background-image: url(magnifying-glass.png), -moz-linear-gradient(hsla(210,16%,76%,.15), hsla(210,16%,76%,.35));
88 background-repeat: no-repeat;
89 background-position: 4px center, top left, top left;
92 -moz-padding-start: 18px;
93 -moz-padding-end: 12px;
94 transition-property: background-color, border-color, box-shadow;
95 transition-duration: 150ms;
96 transition-timing-function: ease;
100 .devtools-searchinput[focused] {
101 border-color: hsl(200,70%,40%) hsl(200,75%,37%) hsl(200,80%,35%);
102 background-origin: padding-box;
103 background-clip: padding-box;
104 box-shadow: inset 0 0 0 1px hsla(211,68%,6%,.1);
107 .devtools-searchinput:-moz-locale-dir(rtl) {
108 background-position: calc(100% - 4px) center, top left, top left;
111 .devtools-searchinput > .textbox-input-box > .textbox-search-icons {
115 .devtools-searchinput > .textbox-input-box > .textbox-input::-moz-placeholder {
116 color: hsl(208,10%,66%);
122 .devtools-closebutton {
123 list-style-image: url("chrome://global/skin/icons/close-button.gif");
128 .devtools-closebutton > .toolbarbutton-text {
132 .devtools-closebutton:hover,
133 .devtools-closebutton:hover:active {
134 list-style-image: url("chrome://global/skin/icons/close-button-hover.gif");
139 .devtools-horizontal-splitter {
145 #devtools-side-splitter {
152 /* HACK for profiler in the dev toolbox in FF 20+. */
156 #profiler-chrome > box > box > .devtools-toolbar {