tweaks for making devtools look nicer
[themes.git] / LCARStrek / global / findBar.css
1 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
2
3 .findbar-closebutton {
4   list-style-image: url("chrome://global/skin/icons/close-button.gif");
5 }
6
7 .findbar-closebutton:hover {
8   list-style-image: url("chrome://global/skin/icons/close-button-hover.gif");
9 }
10
11 findbar {
12   border-top: 3px solid #000000;
13   border-bottom: none;
14   min-width: 1px;
15   transition-property: margin-bottom, opacity, visibility;
16   transition-duration: 150ms, 150ms, 0s;
17   transition-timing-function: ease-in-out, ease-in-out, linear;
18 }
19
20 findbar[hidden] {
21   /* Override display:none to make the transition work. */
22   display: -moz-box;
23   visibility: collapse;
24   margin-bottom: -1em;
25   opacity: 0;
26   transition-delay: 0s, 0s, 150ms;
27 }
28
29 /* find-next button */
30
31 .findbar-find-next {
32   list-style-image: url("chrome://global/skin/icons/find.png");
33   -moz-image-region: rect(0px 16px 16px 0px);
34 }
35
36 .findbar-find-next[disabled="true"] {
37   -moz-image-region: rect(16px 16px 32px 0px);
38 }
39
40 /* find-previous button */
41
42 .findbar-find-previous {
43   list-style-image: url("chrome://global/skin/icons/find.png");
44   -moz-image-region: rect(0px 32px 16px 16px);
45 }
46
47 .findbar-find-previous[disabled="true"] {
48   -moz-image-region: rect(16px 32px 32px 16px);
49 }
50
51 /* highlight button */
52
53 .findbar-highlight {
54   list-style-image: url("chrome://global/skin/icons/find.png");
55   -moz-image-region: rect(0px 48px 16px 32px);
56 }
57
58 .findbar-higlight[disabled="true"] {
59   -moz-image-region: rect(16px 48px 32px 32px);
60 }
61
62 .find-status-icon {
63   list-style-image: none;
64   margin-top: 0px;
65   margin-bottom: 0px;
66   -moz-margin-start: 12px;
67   -moz-margin-end: 0px;
68   width: 16px;
69   height: 16px;
70 }
71
72 .findbar-find-status {
73   margin: 0 !important;
74   -moz-margin-start: 3px !important;
75   padding: 2px !important;
76 }
77
78 .find-status-icon[status="notfound"] {
79   list-style-image: url("chrome://global/skin/icons/information-16.png");
80 }
81
82 .findbar-textbox[status="notfound"] {
83   box-shadow: 0 0 0 1em #FF0000 inset;
84   color: #000000;
85 }
86
87 .findbar-textbox[flash="true"] {
88   box-shadow: 0 0 0 1em #FFCF00 inset;
89   color: #000000;
90 }
91
92 .find-status-icon[status="wrapped"] {
93   list-style-image: url("chrome://global/skin/icons/wrap.png");
94 }
95
96 .find-status-icon[status="pending"] {
97   list-style-image: url("chrome://global/skin/icons/loading.gif");
98 }