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 */
72 * gray horizontal splitter for pane views
74 splitter.gray-horizontal-splitter {
76 background-color: #CCD0DD;
78 border-top: 1px solid #9999CC;
79 border-bottom: 1px solid #9999CC;
83 splitter.gray-horizontal-splitter > grippy {
85 border: 1px outset #CCD0DD;
87 background-color: #CCCCCC;
88 background-image: url("chrome://global/skin/grippy-horizontal-after.gif");
91 splitter.gray-horizontal-splitter[state="collapsed"] > grippy {
92 background-image: url("chrome://global/skin/grippy-horizontal-before.gif");
95 splitter.gray-horizontal-splitter > grippy:hover {
96 background-color: #99CCFF;
99 splitter.gray-horizontal-splitter > grippy:active {
100 border: 1px inset #CCD0DD;
101 background-color: #99CCFF;
105 splitter.gray-horizontal-splitter > #begincap {
108 background-image: url("chrome://global/skin/gray-bottomleft.gif");
109 background-repeat: no-repeat;
110 background-position: 0% 100%;
113 splitter.gray-horizontal-splitter > #endcap {