1 /******* Splitters *******/
\r
8 margin: 0px 3px 0px 3px;
\r
11 splitter[state="dragging"]
\r
13 background-color: gray;
\r
19 background-image: url("chrome://global/skin/grippy-vertical-before.gif");
\r
20 background-repeat: no-repeat;
\r
21 background-position: 50% 50%;
\r
25 splitter[state="collapsed"] > grippy
\r
27 background-image : url("chrome://global/skin/grippy-vertical-after.gif");
\r
30 box[orient="vertical"] > splitter > grippy,
\r
31 window[orient="vertical"] > splitter > grippy {
\r
32 /* a horizontal splitter */
\r
33 background-image: url("chrome://global/skin/grippy-horizontal-after.gif");
\r
35 border-right: 3px solid black;
\r
36 border-left: 3px solid black;
\r
41 box[orient="vertical"] > splitter[state="collapsed"] > grippy,
\r
42 window[orient="vertical"] > splitter[state="collapsed"] > grippy {
\r
43 background-image: url("chrome://global/skin/grippy-horizontal-before.gif");
\r
46 window > splitter > grippy,
\r
47 box > splitter > grippy {
\r
48 /* a vertical splitter */
\r
51 border-top: 3px solid black;
\r
52 border-bottom: 3px solid black;
\r
55 box[orient="vertical"] > splitter,
\r
56 window[orient="vertical"] > splitter,
\r
58 /* a horizontal splitter */
\r
61 margin: 3px 0px 3px 0px;
\r
64 /* for backwards compatibility */
\r
65 box[align="vertical"]>splitter > grippy,
\r
66 window[align="vertical"]>splitter > grippy {
\r
67 /* a horizontal splitter */
\r
68 background-image: url("chrome://global/skin/grippy-horizontal-after.gif");
\r
70 border-right: 3px solid black;
\r
71 border-left: 3px solid black;
\r
76 box[align="vertical"]>splitter[state="collapsed"] > grippy,
\r
77 window[align="vertical"]>splitter[state="collapsed"] > grippy {
\r
78 background-image: url("chrome://global/skin/grippy-horizontal-before.gif");
\r
81 box[align="vertical"]>splitter,
\r
82 window[align="vertical"]>splitter {
\r
83 /* a horizontal splitter */
\r
86 margin: 3px 0px 3px 0px;
\r
90 * gray horizontal splitter for pane views
\r
92 splitter.gray-horizontal-splitter {
\r
95 margin: 3px 0px 3px 0px;
\r
99 splitter.gray-horizontal-splitter > grippy {
\r
102 border-right: 3px solid black;
\r
103 border-left: 3px solid black;
\r
105 background-image: url("chrome://global/skin/grippy-horizontal-after.gif");
\r
108 splitter.gray-horizontal-splitter[state="collapsed"] > grippy {
\r
109 background-image: url("chrome://global/skin/grippy-horizontal-before.gif");
\r
113 splitter.gray-horizontal-splitter > #begincap {
\r
116 background-image: url("chrome://global/skin/gray-bottomleft.gif");
\r
117 background-repeat: no-repeat;
\r
118 background-position: 0% 100%;
\r
121 splitter.gray-horizontal-splitter > #endcap {
\r