1 /******* Splitters *******/
8 margin: 0px 3px 0px 3px;
11 splitter[state="dragging"]
13 background-color: gray;
19 background-image: url("chrome://global/skin/grippy-vertical-before.gif");
20 background-repeat: no-repeat;
21 background-position: 50% 50%;
25 splitter[state="collapsed"] > grippy
27 background-image : url("chrome://global/skin/grippy-vertical-after.gif");
30 vbox > splitter > grippy,
31 box[orient="vertical"] > splitter > grippy,
32 window[orient="vertical"] > splitter > grippy {
33 /* a horizontal splitter */
34 background-image: url("chrome://global/skin/grippy-horizontal-after.gif");
36 border-right: 3px solid black;
37 border-left: 3px solid black;
42 vbox > splitter[state="collapsed"] > grippy,
43 box[orient="vertical"] > splitter[state="collapsed"] > grippy,
44 window[orient="vertical"] > splitter[state="collapsed"] > grippy {
45 background-image: url("chrome://global/skin/grippy-horizontal-before.gif");
48 window > splitter > grippy,
49 hbox > splitter > grippy,
50 box > splitter > grippy {
51 /* a vertical splitter */
54 border-top: 3px solid black;
55 border-bottom: 3px solid black;
59 box[orient="vertical"] > splitter,
60 window[orient="vertical"] > splitter,
62 /* a horizontal splitter */
65 margin: 3px 0px 3px 0px;
69 * gray horizontal splitter for pane views
71 splitter.gray-horizontal-splitter {
74 margin: 3px 0px 3px 0px;
78 splitter.gray-horizontal-splitter > grippy {
81 border-right: 3px solid black;
82 border-left: 3px solid black;
84 background-image: url("chrome://global/skin/grippy-horizontal-after.gif");
87 splitter.gray-horizontal-splitter[state="collapsed"] > grippy {
88 background-image: url("chrome://global/skin/grippy-horizontal-before.gif");
92 splitter.gray-horizontal-splitter > #begincap {
95 background-image: url("chrome://global/skin/gray-bottomleft.gif");
96 background-repeat: no-repeat;
97 background-position: 0% 100%;
100 splitter.gray-horizontal-splitter > #endcap {