1 /******* Splitters *******/
10 splitter[state="dragging"]
12 background-color: gray;
17 border: 1px outset #CCD0DD;
19 background-color: #CCCCCC;
20 background-image: url("chrome://global/skin/grippy-vertical-before.gif");
21 background-repeat: no-repeat;
22 background-position: 50% 50%;
26 splitter[state="collapsed"] > grippy
28 background-image : url("chrome://global/skin/grippy-vertical-after.gif");
33 background-color : #99CCFF;
37 background-color: #99CCFF;
40 vbox > splitter > grippy,
41 box[orient="vertical"] > splitter > grippy,
42 window[orient="vertical"] > splitter > grippy {
43 /* a horizontal splitter */
44 background-image: url("chrome://global/skin/grippy-horizontal-after.gif");
49 vbox > splitter[state="collapsed"] > grippy,
50 box[orient="vertical"] > splitter[state="collapsed"] > grippy,
51 window[orient="vertical"] > splitter[state="collapsed"] > grippy {
52 background-image: url("chrome://global/skin/grippy-horizontal-before.gif");
55 window > splitter > grippy,
56 hbox > splitter > grippy,
57 box > splitter > grippy {
58 /* a vertical splitter */
64 box[orient="vertical"] > splitter,
65 window[orient="vertical"] > splitter,
67 /* a vertical splitter */
71 /* for backwards compatibility */
72 box[align="vertical"]>splitter > grippy,
73 window[align="vertical"]>splitter > grippy {
74 /* a horizontal splitter */
75 background-image: url("chrome://global/skin/grippy-horizontal-after.gif");
80 box[align="vertical"]>splitter[state="collapsed"] > grippy,
81 window[align="vertical"]>splitter[state="collapsed"] > grippy {
82 background-image: url("chrome://global/skin/grippy-horizontal-before.gif");
85 box[align="vertical"]>splitter,
86 window[align="vertical"]>splitter {
87 /* a vertical splitter */
92 * gray horizontal splitter for pane views
94 splitter.gray-horizontal-splitter {
96 background-color: #CCD0DD;
98 border-top: 1px solid #9999CC;
99 border-bottom: 1px solid #9999CC;
103 splitter.gray-horizontal-splitter > grippy {
105 border: 1px outset #CCD0DD;
107 background-color: #CCCCCC;
108 background-image: url("chrome://global/skin/grippy-horizontal-after.gif");
111 splitter.gray-horizontal-splitter[state="collapsed"] > grippy {
112 background-image: url("chrome://global/skin/grippy-horizontal-before.gif");
115 splitter.gray-horizontal-splitter > grippy:hover {
116 background-color: #99CCFF;
119 splitter.gray-horizontal-splitter > grippy:active {
120 border: 1px inset #CCD0DD;
121 background-color: #99CCFF;
125 splitter.gray-horizontal-splitter > #begincap {
128 background-image: url("chrome://global/skin/gray-bottomleft.gif");
129 background-repeat: no-repeat;
130 background-position: 0% 100%;
133 splitter.gray-horizontal-splitter > #endcap {