finish sync of LCARStrek to browser winstripe changes in FIrefox 17 cycle
[themes.git] / LCARStrek / browser / devtools / common.css
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/. */
5
6 /* Toolbar and Toolbar items */
7
8 .devtools-toolbar {
9 }
10
11 .devtools-menulist,
12 .devtools-toolbarbutton {
13 }
14
15 .devtools-toolbarbutton > .toolbarbutton-menubutton-button {
16   /*-moz-box-orient: horizontal;*/
17 }
18
19 devtools-menulist:-moz-focusring,
20 .devtools-toolbarbutton:-moz-focusring {
21   outline: 1px dotted #008484;
22 }
23
24 .devtools-toolbarbutton > .toolbarbutton-icon {
25 }
26
27 .devtools-toolbarbutton:not([label]) {
28   min-width: 20px;
29 }
30
31 .devtools-toolbarbutton:not([checked=true]):hover:active {
32 }
33
34 .devtools-menulist[open=true],
35 .devtools-toolbarbutton[open=true],
36 .devtools-toolbarbutton[checked=true] {
37 }
38
39 .devtools-toolbarbutton[checked=true] {
40 }
41
42 .devtools-toolbarbutton[checked=true]:hover:active {
43 }
44
45 .devtools-menulist > .menulist-label-box {
46   text-align: center;
47 }
48
49 .devtools-menulist > .menulist-dropmarker {
50 }
51
52 .devtools-menulist:focus:not([open="true"]):not(.menulist-compact) > .menulist-label-box {
53 }
54
55 /* LCARStrek checkbox colors don't work well against toolbar background */
56 .devtools-toolbar > checkbox {
57   background-color: #000000;
58   padding: 2px;
59 }
60
61 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
62 }
63
64 .devtools-toolbarbutton[type=menu-button]:-moz-locale-dir(rtl) > .toolbarbutton-menubutton-button {
65 }
66
67 .devtools-toolbarbutton[type=menu-button] {
68   padding: 0 1px;
69   -moz-box-align: stretch;
70 }
71
72 .devtools-toolbarbutton[type=menu] > .toolbarbutton-menu-dropmarker,
73 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-dropmarker {
74   -moz-appearance: none !important;
75   list-style-image: url("chrome://browser/skin/devtools/dropmarker.png");
76   -moz-box-align: center;
77 }
78
79 /* Search input */
80
81 /*
82 .devtools-searchinput {
83   -moz-appearance: none;
84   margin: 0 3px;
85   border: 1px solid hsla(211,68%,6%,.6);
86   box-shadow: inset 0 1px 0 hsla(211,68%,6%,.05), 0 0 0 1px hsla(210,40%,83%,.1);
87   border-radius: 2px;
88   background-color: transparent;
89   background-image: url(magnifying-glass.png), -moz-linear-gradient(hsla(210,16%,76%,.15), hsla(210,16%,76%,.35));
90   background-repeat: no-repeat;
91   background-position: 4px center, top left, top left;
92   padding-top: 0;
93   padding-bottom: 0;
94   -moz-padding-start: 18px;
95   -moz-padding-end: 12px;
96   transition-property: background-color, border-color, box-shadow;
97   transition-duration: 150ms;
98   transition-timing-function: ease;
99   color: inherit;
100 }
101
102 .devtools-searchinput[focused] {
103   border-color: hsl(200,70%,40%) hsl(200,75%,37%) hsl(200,80%,35%);
104   background-origin: padding-box;
105   background-clip: padding-box;
106   box-shadow: inset 0 0 0 1px hsla(211,68%,6%,.1);
107 }
108
109 .devtools-searchinput:-moz-locale-dir(rtl) {
110   background-position: calc(100% - 4px) center, top left, top left;
111 }
112
113 .devtools-searchinput > .textbox-input-box > .textbox-search-icons {
114   display: none;
115 }
116
117 .devtools-searchinput > .textbox-input-box > .textbox-input:-moz-placeholder {
118   color: hsl(208,10%,66%);
119 }
120 */
121
122 /* Close button */
123
124 .devtools-closebutton {
125   list-style-image: url("chrome://global/skin/icons/close-button.gif");
126   min-width: 16px;
127   width: 16px;
128 }
129
130 .devtools-closebutton > .toolbarbutton-text {
131   display: none;
132 }
133
134 .devtools-closebutton:hover,
135 .devtools-closebutton:hover:active {
136   list-style-image: url("chrome://global/skin/icons/close-button-hover.gif");
137 }
138
139 /* Splitters */
140
141 .devtools-horizontal-splitter {
142   border: none;
143   min-height: 3px;
144   height: 3px;
145   position: relative;
146 }
147
148 #devtools-side-splitter {
149   border: 0;
150   min-width: 0;
151   width: 3px;
152   position: relative;
153 }