Show More
@@ -1,147 +1,211 b'' | |||||
1 |
|
1 | |||
|
2 | /* | |||
|
3 | LESS file that styles IPython notebook widgets and the area they sit in. | |||
|
4 | ||||
|
5 | The widget area typically looks something like this: | |||
|
6 | +------------------------------------------+ | |||
|
7 | | widget-area | | |||
|
8 | | +--------+---------------------------+ | | |||
|
9 | | | prompt | widget-subarea | | | |||
|
10 | | | | +--------+ +--------+ | | | |||
|
11 | | | | | widget | | widget | | | | |||
|
12 | | | | +--------+ +--------+ | | | |||
|
13 | | +--------+---------------------------+ | | |||
|
14 | +------------------------------------------+ | |||
|
15 | */ | |||
|
16 | ||||
2 | .widget-area { |
|
17 | .widget-area { | |
3 | page-break-inside: avoid; |
|
18 | page-break-inside: avoid; | |
4 | .hbox(); |
|
19 | .hbox(); | |
5 |
|
20 | |||
6 | .widget-subarea { |
|
21 | .widget-subarea { | |
7 | padding: 0.44em 0.4em 0.4em 1px; |
|
22 | padding: 0.44em 0.4em 0.4em 1px; | |
8 | margin-left: 6px; |
|
23 | margin-left: 6px; | |
9 | .border-box-sizing(); |
|
24 | .border-box-sizing(); | |
10 | .vbox(); |
|
25 | .vbox(); | |
11 | .box-flex2(); |
|
26 | .box-flex2(); | |
12 |
|
27 | |||
|
28 | /* Horizontal Label */ | |||
13 | .widget-hlabel { |
|
29 | .widget-hlabel { | |
14 | min-width: 10ex; |
|
30 | min-width: 10ex; | |
15 | padding-right: 8px; |
|
31 | padding-right: 8px; | |
|
32 | padding-top: 3px; | |||
16 | text-align: right; |
|
33 | text-align: right; | |
17 | vertical-align: text-top; |
|
34 | vertical-align: text-top; | |
18 | padding-top: 3px; |
|
|||
19 | } |
|
35 | } | |
20 |
|
36 | |||
|
37 | /* Vertical Label */ | |||
21 | .widget-vlabel { |
|
38 | .widget-vlabel { | |
|
39 | padding-bottom: 5px; | |||
22 | text-align: center; |
|
40 | text-align: center; | |
23 | vertical-align: text-bottom; |
|
41 | vertical-align: text-bottom; | |
24 | padding-bottom: 5px; |
|
|||
25 | } |
|
42 | } | |
26 |
|
43 | |||
|
44 | ||||
|
45 | /* Slider Track */ | |||
|
46 | .slide-track { | |||
|
47 | border: 1px solid #CCCCCC; | |||
|
48 | background: #FFFFFF; | |||
|
49 | .corner-all(); /* Round the corners of the slide track */ | |||
|
50 | } | |||
|
51 | ||||
|
52 | /* Horizontal jQuery Slider | |||
|
53 | ||||
|
54 | Both the horizontal and vertical versions of the slider are characterized | |||
|
55 | by a styled div that contains an invisible jQuery slide div which | |||
|
56 | contains a visible slider handle div. This is requred so we can control | |||
|
57 | how the slider is drawn and 'fix' the issue where the slide handle | |||
|
58 | doesn't stop at the end of the slide. | |||
|
59 | ||||
|
60 | Both horizontal and vertical sliders have this div nesting: | |||
|
61 | +------------------------------------------+ | |||
|
62 | | widget-(h/v)slider | | |||
|
63 | | +--------+---------------------------+ | | |||
|
64 | | | ui-slider | | | |||
|
65 | | | +------------------+ | | | |||
|
66 | | | | ui-slider-handle | | | | |||
|
67 | | | +------------------+ | | | |||
|
68 | | +--------+---------------------------+ | | |||
|
69 | +------------------------------------------+ | |||
|
70 | */ | |||
27 | .widget-hslider { |
|
71 | .widget-hslider { | |
|
72 | ||||
|
73 | /* Fix the padding of the slide track so the ui-slider is sized | |||
|
74 | correctly. */ | |||
28 | padding-left: 8px; |
|
75 | padding-left: 8px; | |
29 | padding-right: 5px; |
|
76 | padding-right: 5px; | |
30 | margin-top: 11px; |
|
77 | overflow: visible; | |
31 |
|
78 | |||
32 | width: 348px; |
|
79 | /* Default size of the slider */ | |
|
80 | width: 348px; | |||
33 | height: 5px; |
|
81 | height: 5px; | |
34 | max-height: 5px; |
|
82 | max-height: 5px; | |
35 | overflow: visible; |
|
83 | margin-top: 11px; | |
36 |
|
84 | |||
37 | border: 1px solid #CCCCCC; |
|
85 | /* Style the slider track */ | |
38 | background: #FFFFFF; |
|
86 | .slide-track(); | |
39 | .corner-all(); |
|
|||
40 |
|
87 | |||
41 | display: -moz-box; |
|
88 | /* Make the div a flex box (makes FF behave correctly). */ | |
42 |
|
|
89 | .hbox(); | |
43 |
|
90 | |||
|
91 | /* Inner, invisible slide div */ | |||
44 | .ui-slider { |
|
92 | .ui-slider { | |
45 | border: 0px !important; |
|
93 | border: 0px !important; | |
46 | background: none !important; |
|
94 | background: none !important; | |
47 |
|
95 | |||
48 |
|
|
96 | .hbox(); | |
49 |
|
|
97 | .box-flex1(); | |
50 | -moz-box-flex: 1; /* Mozilla */ |
|
|||
51 | -webkit-box-flex: 1; /* WebKit */ |
|
|||
52 |
|
98 | |||
53 | .ui-slider-handle { |
|
99 | .ui-slider-handle { | |
54 | width: 14px !important; |
|
100 | width: 14px !important; | |
55 | height: 28px !important; |
|
101 | height: 28px !important; | |
56 |
|
102 | |||
57 | margin-top: -8px !important; |
|
103 | margin-top: -8px !important; | |
58 | } |
|
104 | } | |
59 | } |
|
105 | } | |
60 | } |
|
106 | } | |
61 |
|
107 | |||
|
108 | /* Vertical jQuery Slider */ | |||
62 | .widget-vslider { |
|
109 | .widget-vslider { | |
63 | border: 1px solid #CCCCCC; |
|
110 | ||
64 | background: #FFFFFF; |
|
111 | /* Fix the padding of the slide track so the ui-slider is sized | |
|
112 | correctly. */ | |||
|
113 | padding-bottom: 8px; | |||
|
114 | overflow: visible; | |||
|
115 | ||||
|
116 | /* Default size of the slider */ | |||
65 | width: 5px; |
|
117 | width: 5px; | |
66 | max-width: 5px; |
|
118 | max-width: 5px; | |
|
119 | height: 250px; | |||
67 | margin-left: 12px; |
|
120 | margin-left: 12px; | |
|
121 | ||||
|
122 | /* Style the slider track */ | |||
|
123 | .slide-track(); | |||
68 |
|
124 | |||
69 | padding-bottom: 8px; |
|
125 | /* Make the div a flex box (makes FF behave correctly). */ | |
70 | .vbox(); |
|
126 | .vbox(); | |
71 |
|
|
127 | ||
72 |
|
128 | /* Inner, invisible slide div */ | ||
73 | height: 250px; |
|
|||
74 |
|
||||
75 | .ui-slider { |
|
129 | .ui-slider { | |
76 | border: 0px !important; |
|
130 | border: 0px !important; | |
77 | background: none !important; |
|
131 | background: none !important; | |
78 | margin-left: -4px; |
|
132 | margin-left: -4px; | |
79 | margin-top: 5px; |
|
133 | margin-top: 5px; | |
80 |
|
134 | |||
81 | .vbox(); |
|
135 | .vbox(); | |
82 | .box-flex1(); |
|
136 | .box-flex1(); | |
83 |
|
137 | |||
84 | /* height: 100%; |
|
|||
85 | min-height: 100%; */ |
|
|||
86 |
|
||||
87 | .ui-slider-handle { |
|
138 | .ui-slider-handle { | |
88 | width: 28px !important; |
|
139 | width: 28px !important; | |
89 | height: 14px !important; |
|
140 | height: 14px !important; | |
90 | margin-left: -9px; |
|
141 | margin-left: -9px; | |
91 | } |
|
142 | } | |
92 | } |
|
143 | } | |
93 | } |
|
144 | } | |
94 |
|
145 | |||
|
146 | /* String Textbox - used for TextBoxView and TextAreaView */ | |||
95 | .widget-text { |
|
147 | .widget-text { | |
96 | width: 350px; |
|
148 | width: 350px; | |
97 | margin-bottom: 0px; |
|
149 | margin-bottom: 0px; | |
98 | } |
|
150 | } | |
99 |
|
151 | |||
|
152 | /* Single Line Textbox - used for IntTextView and FloatTextView */ | |||
100 | .widget-numeric-text { |
|
153 | .widget-numeric-text { | |
101 | width: 150px; |
|
154 | width: 150px; | |
102 | } |
|
155 | } | |
103 |
|
156 | |||
|
157 | /* Progress Bar */ | |||
104 | .widget-progress { |
|
158 | .widget-progress { | |
105 | width: 363px; |
|
159 | width: 363px; | |
106 |
|
160 | |||
107 | /* Disable progress bar animation */ |
|
161 | /* Disable progress bar animation */ | |
108 | .bar { |
|
162 | .bar { | |
109 | -webkit-transition: none; |
|
163 | -webkit-transition: none; | |
110 | -moz-transition: none; |
|
164 | -moz-transition: none; | |
111 | -ms-transition: none; |
|
165 | -ms-transition: none; | |
112 | -o-transition: none; |
|
166 | -o-transition: none; | |
113 | transition: none; |
|
167 | transition: none; | |
114 | } |
|
168 | } | |
115 | } |
|
169 | } | |
116 |
|
170 | |||
|
171 | /* ComboBox Main Button */ | |||
117 | .widget-combo-btn { |
|
172 | .widget-combo-btn { | |
118 | min-width: 138px; /* + 26px drop arrow btn = 164px */ |
|
173 | min-width: 138px; /* + 26px drop arrow btn = 164px */ | |
119 | } |
|
174 | } | |
120 |
|
175 | |||
|
176 | /* ContainerWidget */ | |||
121 | .widget-container { |
|
177 | .widget-container { | |
122 | .border-box-sizing(); |
|
178 | .border-box-sizing(); | |
123 | } |
|
179 | } | |
124 |
|
180 | |||
|
181 | /* The following section sets the style for the invisible div that | |||
|
182 | hold widgets and their accompanying labels. | |||
|
183 | ||||
|
184 | Looks like this: | |||
|
185 | +-----------------------------+ | |||
|
186 | | widget-box (or similar) | | |||
|
187 | | +-------+---------------+ | | |||
|
188 | | | Label | Actual Widget | | | |||
|
189 | | +-------+---------------+ | | |||
|
190 | +-----------------------------+ | |||
|
191 | */ | |||
125 | .widget-box { |
|
192 | .widget-box { | |
126 | .start(); |
|
193 | .start(); | |
127 | .widget-container(); |
|
194 | .widget-container(); | |
128 | margin: 5px; |
|
195 | margin: 5px; | |
129 | } |
|
196 | } | |
130 |
|
197 | .widget-hbox { /* Horizontal widgets */ | ||
131 | .widget-hbox { |
|
|||
132 | .widget-box(); |
|
198 | .widget-box(); | |
133 | .hbox(); |
|
199 | .hbox(); | |
134 | } |
|
200 | } | |
135 |
|
201 | .widget-hbox-single { /* Single line horizontal widgets */ | ||
136 | .widget-hbox-single { |
|
|||
137 | .widget-hbox(); |
|
202 | .widget-hbox(); | |
138 | height: 30px; |
|
203 | height: 30px; | |
139 | } |
|
204 | } | |
140 |
|
205 | .widget-vbox-single { /* For vertical slides */ | ||
141 | .widget-vbox-single { |
|
|||
142 | .widget-box(); |
|
206 | .widget-box(); | |
143 | .vbox(); |
|
207 | .vbox(); | |
144 | width: 30px; |
|
208 | width: 30px; | |
145 | } |
|
209 | } | |
146 | } |
|
210 | } | |
147 | } |
|
211 | } |
General Comments 0
You need to be logged in to leave comments.
Login now