Show More
@@ -1,334 +1,336 | |||||
1 |
|
1 | |||
2 | /** |
|
2 | /** | |
3 | * Primary styles |
|
3 | * Primary styles | |
4 | * |
|
4 | * | |
5 | * Author: IPython Development Team |
|
5 | * Author: IPython Development Team | |
6 | */ |
|
6 | */ | |
7 |
|
7 | |||
8 |
|
8 | |||
9 | body { |
|
9 | body { | |
10 | background-color: white; |
|
10 | background-color: white; | |
11 | /* This makes sure that the body covers the entire window and needs to |
|
11 | /* This makes sure that the body covers the entire window and needs to | |
12 | be in a different element than the display: box in wrapper below */ |
|
12 | be in a different element than the display: box in wrapper below */ | |
13 | position: absolute; |
|
13 | position: absolute; | |
14 | left: 0px; |
|
14 | left: 0px; | |
15 | right: 0px; |
|
15 | right: 0px; | |
16 | top: 0px; |
|
16 | top: 0px; | |
17 | bottom: 0px; |
|
17 | bottom: 0px; | |
18 | overflow: hidden; |
|
18 | overflow: hidden; | |
19 | } |
|
19 | } | |
20 |
|
20 | |||
21 | span#save_widget { |
|
21 | span#save_widget { | |
22 | position: absolute; |
|
22 | position: absolute; | |
23 | left: 0px; |
|
23 | left: 0px; | |
24 | padding: 5px 0px; |
|
24 | padding: 5px 0px; | |
25 | margin: 0px 0px 0px 0px; |
|
25 | margin: 0px 0px 0px 0px; | |
26 | } |
|
26 | } | |
27 |
|
27 | |||
28 | input#notebook_name { |
|
28 | input#notebook_name { | |
29 | height: 1em; |
|
29 | height: 1em; | |
30 | line-height: 1em; |
|
30 | line-height: 1em; | |
31 | padding: 5px; |
|
31 | padding: 5px; | |
32 | } |
|
32 | } | |
33 |
|
33 | |||
34 | span#kernel_status { |
|
34 | span#kernel_status { | |
35 | position: absolute; |
|
35 | position: absolute; | |
36 | padding: 8px 5px 5px 5px; |
|
36 | padding: 8px 5px 5px 5px; | |
37 | right: 10px; |
|
37 | right: 10px; | |
38 | font-weight: bold; |
|
38 | font-weight: bold; | |
39 | } |
|
39 | } | |
40 |
|
40 | |||
41 | .status_idle { |
|
41 | .status_idle { | |
42 | color: gray; |
|
42 | color: gray; | |
43 | } |
|
43 | } | |
44 |
|
44 | |||
45 | .status_busy { |
|
45 | .status_busy { | |
46 | color: red; |
|
46 | color: red; | |
47 | } |
|
47 | } | |
48 |
|
48 | |||
49 | .status_restarting { |
|
49 | .status_restarting { | |
50 | color: black; |
|
50 | color: black; | |
51 | } |
|
51 | } | |
52 |
|
52 | |||
53 | div#left_panel { |
|
53 | div#left_panel { | |
54 | overflow-y: auto; |
|
54 | overflow-y: auto; | |
55 | top: 0px; |
|
55 | top: 0px; | |
56 | left: 0px; |
|
56 | left: 0px; | |
57 | margin: 0px; |
|
57 | margin: 0px; | |
58 | padding: 0px; |
|
58 | padding: 0px; | |
59 | position: absolute; |
|
59 | position: absolute; | |
60 | } |
|
60 | } | |
61 |
|
61 | |||
62 | h3.section_header { |
|
62 | h3.section_header { | |
63 | padding: 5px; |
|
63 | padding: 5px; | |
64 | } |
|
64 | } | |
65 |
|
65 | |||
66 | div.section_content { |
|
66 | div.section_content { | |
67 | padding: 5px; |
|
67 | padding: 5px; | |
68 | } |
|
68 | } | |
69 |
|
69 | |||
70 | span.section_row_buttons button { |
|
70 | span.section_row_buttons button { | |
71 | width: 70px; |
|
71 | width: 70px; | |
72 | } |
|
72 | } | |
73 |
|
73 | |||
74 | span.section_row_buttons a { |
|
74 | span.section_row_buttons a { | |
75 | width: 70px; |
|
75 | width: 70px; | |
76 | } |
|
76 | } | |
77 |
|
77 | |||
78 | .section_row { |
|
78 | .section_row { | |
79 | margin: 5px 0px; |
|
79 | margin: 5px 0px; | |
80 | } |
|
80 | } | |
81 |
|
81 | |||
82 | .section_row_buttons { |
|
82 | .section_row_buttons { | |
83 | float: right; |
|
83 | float: right; | |
84 | } |
|
84 | } | |
85 |
|
85 | |||
86 | #kernel_persist { |
|
86 | #kernel_persist { | |
87 | float: right; |
|
87 | float: right; | |
88 | } |
|
88 | } | |
89 |
|
89 | |||
90 | .help_string { |
|
90 | .help_string { | |
91 | float: right; |
|
91 | float: right; | |
92 | width: 170px; |
|
92 | width: 170px; | |
93 | padding: 0px 5px; |
|
93 | padding: 0px 5px; | |
94 | text-align: left; |
|
94 | text-align: left; | |
95 | font-size: 85%; |
|
95 | font-size: 85%; | |
96 | } |
|
96 | } | |
97 |
|
97 | |||
98 | .help_string_label { |
|
98 | .help_string_label { | |
99 | float: right; |
|
99 | float: right; | |
100 | font-size: 85%; |
|
100 | font-size: 85%; | |
101 | } |
|
101 | } | |
102 |
|
102 | |||
103 | #autoindent_span { |
|
103 | #autoindent_span { | |
104 | float: right; |
|
104 | float: right; | |
105 | } |
|
105 | } | |
106 |
|
106 | |||
107 | .checkbox_label { |
|
107 | .checkbox_label { | |
108 | font-size: 85%; |
|
108 | font-size: 85%; | |
109 | float: right; |
|
109 | float: right; | |
110 | padding: 0.3em; |
|
110 | padding: 0.3em; | |
111 | } |
|
111 | } | |
112 |
|
112 | |||
113 | .section_row_header { |
|
113 | .section_row_header { | |
114 | float: left; |
|
114 | float: left; | |
115 | font-size: 85%; |
|
115 | font-size: 85%; | |
116 | padding: 0.4em 0em; |
|
116 | padding: 0.4em 0em; | |
117 | font-weight: bold; |
|
117 | font-weight: bold; | |
118 | } |
|
118 | } | |
119 |
|
119 | |||
120 | span.button_label { |
|
120 | span.button_label { | |
121 | padding: 0.2em 1em; |
|
121 | padding: 0.2em 1em; | |
122 | font-size: 77%; |
|
122 | font-size: 77%; | |
123 | float: right; |
|
123 | float: right; | |
124 | } |
|
124 | } | |
125 |
|
125 | |||
126 | /* This is needed because FF was adding a 2px margin top and bottom. */ |
|
126 | /* This is needed because FF was adding a 2px margin top and bottom. */ | |
127 | .section_row .ui-button { |
|
127 | .section_row .ui-button { | |
128 | margin-top: 0px; |
|
128 | margin-top: 0px; | |
129 | margin-bottom: 0px; |
|
129 | margin-bottom: 0px; | |
130 | } |
|
130 | } | |
131 |
|
131 | |||
132 | #download_format { |
|
132 | #download_format { | |
133 | float: right; |
|
133 | float: right; | |
134 | font-size: 85%; |
|
134 | font-size: 85%; | |
135 | width: 62px; |
|
135 | width: 62px; | |
136 | margin: 1px 5px; |
|
136 | margin: 1px 5px; | |
137 | } |
|
137 | } | |
138 |
|
138 | |||
139 | div#left_panel_splitter { |
|
139 | div#left_panel_splitter { | |
140 | width: 8px; |
|
140 | width: 8px; | |
141 | top: 0px; |
|
141 | top: 0px; | |
142 | left: 202px; |
|
142 | left: 202px; | |
143 | margin: 0px; |
|
143 | margin: 0px; | |
144 | padding: 0px; |
|
144 | padding: 0px; | |
145 | position: absolute; |
|
145 | position: absolute; | |
146 | } |
|
146 | } | |
147 |
|
147 | |||
148 | div#notebook_panel { |
|
148 | div#notebook_panel { | |
149 | /* The L margin will be set in the Javascript code*/ |
|
149 | /* The L margin will be set in the Javascript code*/ | |
150 | margin: 0px 0px 0px 0px; |
|
150 | margin: 0px 0px 0px 0px; | |
151 | padding: 0px; |
|
151 | padding: 0px; | |
152 | } |
|
152 | } | |
153 |
|
153 | |||
154 | div#notebook { |
|
154 | div#notebook { | |
155 | overflow-y: scroll; |
|
155 | overflow-y: scroll; | |
156 | overflow-x: auto; |
|
156 | overflow-x: auto; | |
157 | width: 100%; |
|
157 | width: 100%; | |
158 | /* This spaces the cell away from the edge of the notebook area */ |
|
158 | /* This spaces the cell away from the edge of the notebook area */ | |
159 | padding: 15px 15px 15px 15px; |
|
159 | padding: 15px 15px 15px 15px; | |
160 | margin: 0px |
|
160 | margin: 0px | |
161 | background-color: white; |
|
161 | background-color: white; | |
162 | } |
|
162 | } | |
163 |
|
163 | |||
164 | div#pager_splitter { |
|
164 | div#pager_splitter { | |
165 | height: 8px; |
|
165 | height: 8px; | |
166 | } |
|
166 | } | |
167 |
|
167 | |||
168 | div#pager { |
|
168 | div#pager { | |
169 | padding: 15px; |
|
169 | padding: 15px; | |
170 | overflow: auto; |
|
170 | overflow: auto; | |
171 | } |
|
171 | } | |
172 |
|
172 | |||
173 | div.cell { |
|
173 | div.cell { | |
174 | width: 100%; |
|
174 | width: 100%; | |
175 | padding: 5px; |
|
175 | padding: 5px; | |
176 | /* This acts as a spacer between cells, that is outside the border */ |
|
176 | /* This acts as a spacer between cells, that is outside the border */ | |
177 | margin: 5px 0px 5px 0px; |
|
177 | margin: 5px 0px 5px 0px; | |
178 | } |
|
178 | } | |
179 |
|
179 | |||
180 | div.code_cell { |
|
180 | div.code_cell { | |
181 | background-color: white; |
|
181 | background-color: white; | |
182 | } |
|
182 | } | |
183 |
|
183 | |||
184 | div.prompt { |
|
184 | div.prompt { | |
185 | /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */ |
|
185 | /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */ | |
186 | width: 11ex; |
|
186 | width: 11ex; | |
187 | /* This 0.4em is tuned to match the padding on the CodeMirror editor. */ |
|
187 | /* This 0.4em is tuned to match the padding on the CodeMirror editor. */ | |
188 | padding: 0.4em; |
|
188 | padding: 0.4em; | |
189 | margin: 0px; |
|
189 | margin: 0px; | |
190 | font-family: monospace; |
|
190 | font-family: monospace; | |
191 | text-align:right; |
|
191 | text-align:right; | |
192 | } |
|
192 | } | |
193 |
|
193 | |||
194 | div.input { |
|
194 | div.input { | |
195 | page-break-inside: avoid; |
|
195 | page-break-inside: avoid; | |
196 | } |
|
196 | } | |
197 |
|
197 | |||
198 | div.input_area { |
|
198 | div.input_area { | |
199 | color: black; |
|
199 | color: black; | |
200 | border: 1px solid #ddd; |
|
200 | border: 1px solid #ddd; | |
|
201 | border-radius: 3px; | |||
|
202 | background: #fafafa; | |||
201 | } |
|
203 | } | |
202 |
|
204 | |||
203 | div.input_prompt { |
|
205 | div.input_prompt { | |
204 | color: navy; |
|
206 | color: navy; | |
205 | } |
|
207 | } | |
206 |
|
208 | |||
207 | div.output { |
|
209 | div.output { | |
208 | /* This is a spacer between the input and output of each cell */ |
|
210 | /* This is a spacer between the input and output of each cell */ | |
209 | margin-top: 5px; |
|
211 | margin-top: 5px; | |
210 | } |
|
212 | } | |
211 |
|
213 | |||
212 | div.output_prompt { |
|
214 | div.output_prompt { | |
213 | color: darkred; |
|
215 | color: darkred; | |
214 | } |
|
216 | } | |
215 |
|
217 | |||
216 | /* This class is the outer container of all output sections. */ |
|
218 | /* This class is the outer container of all output sections. */ | |
217 | div.output_area { |
|
219 | div.output_area { | |
218 | padding: 0px; |
|
220 | padding: 0px; | |
219 | page-break-inside: avoid; |
|
221 | page-break-inside: avoid; | |
220 | } |
|
222 | } | |
221 |
|
223 | |||
222 | /* This class is for the output subarea inside the output_area and after |
|
224 | /* This class is for the output subarea inside the output_area and after | |
223 | the prompt div. */ |
|
225 | the prompt div. */ | |
224 | div.output_subarea { |
|
226 | div.output_subarea { | |
225 | padding: 0.4em; |
|
227 | padding: 0.4em; | |
226 | } |
|
228 | } | |
227 |
|
229 | |||
228 | /* The rest of the output_* classes are for special styling of the different |
|
230 | /* The rest of the output_* classes are for special styling of the different | |
229 | output types */ |
|
231 | output types */ | |
230 |
|
232 | |||
231 | /* all text output has this class: */ |
|
233 | /* all text output has this class: */ | |
232 | div.output_text { |
|
234 | div.output_text { | |
233 | text-align: left; |
|
235 | text-align: left; | |
234 | color: black; |
|
236 | color: black; | |
235 | font-family: monospace; |
|
237 | font-family: monospace; | |
236 | } |
|
238 | } | |
237 |
|
239 | |||
238 | /* stdout/stderr are 'text' as well as 'stream', but pyout/pyerr are *not* streams */ |
|
240 | /* stdout/stderr are 'text' as well as 'stream', but pyout/pyerr are *not* streams */ | |
239 | div.output_stream { |
|
241 | div.output_stream { | |
240 | padding-top: 0.0em; |
|
242 | padding-top: 0.0em; | |
241 | padding-bottom: 0.0em; |
|
243 | padding-bottom: 0.0em; | |
242 | } |
|
244 | } | |
243 | div.output_stdout { |
|
245 | div.output_stdout { | |
244 | } |
|
246 | } | |
245 | div.output_stderr { |
|
247 | div.output_stderr { | |
246 | background: #fdd; /* very light red background for stderr */ |
|
248 | background: #fdd; /* very light red background for stderr */ | |
247 | } |
|
249 | } | |
248 |
|
250 | |||
249 | div.output_latex { |
|
251 | div.output_latex { | |
250 | text-align: left; |
|
252 | text-align: left; | |
251 | color: black; |
|
253 | color: black; | |
252 | } |
|
254 | } | |
253 |
|
255 | |||
254 | div.output_html { |
|
256 | div.output_html { | |
255 | } |
|
257 | } | |
256 |
|
258 | |||
257 | div.output_png { |
|
259 | div.output_png { | |
258 | } |
|
260 | } | |
259 |
|
261 | |||
260 | div.output_jpeg { |
|
262 | div.output_jpeg { | |
261 | } |
|
263 | } | |
262 |
|
264 | |||
263 | div.text_cell { |
|
265 | div.text_cell { | |
264 | background-color: white; |
|
266 | background-color: white; | |
265 | } |
|
267 | } | |
266 |
|
268 | |||
267 | div.text_cell_input { |
|
269 | div.text_cell_input { | |
268 | color: black; |
|
270 | color: black; | |
269 | } |
|
271 | } | |
270 |
|
272 | |||
271 | div.text_cell_render { |
|
273 | div.text_cell_render { | |
272 | font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif; |
|
274 | font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif; | |
273 | outline: none; |
|
275 | outline: none; | |
274 | resize: none; |
|
276 | resize: none; | |
275 | width: inherit; |
|
277 | width: inherit; | |
276 | border-style: none; |
|
278 | border-style: none; | |
277 | padding: 5px; |
|
279 | padding: 5px; | |
278 | color: black; |
|
280 | color: black; | |
279 | } |
|
281 | } | |
280 |
|
282 | |||
281 | .CodeMirror { |
|
283 | .CodeMirror { | |
282 | line-height: 1.231; /* Changed from 1em to our global default */ |
|
284 | line-height: 1.231; /* Changed from 1em to our global default */ | |
283 | } |
|
285 | } | |
284 |
|
286 | |||
285 | .CodeMirror-scroll { |
|
287 | .CodeMirror-scroll { | |
286 | height: auto; /* Changed to auto to autogrow */ |
|
288 | height: auto; /* Changed to auto to autogrow */ | |
287 | /* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/ |
|
289 | /* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/ | |
288 | /* We have found that if it is visible, vertical scrollbars appear with font size changes.*/ |
|
290 | /* We have found that if it is visible, vertical scrollbars appear with font size changes.*/ | |
289 | overflow-y: hidden; |
|
291 | overflow-y: hidden; | |
290 | overflow-x: auto; /* Changed from auto to remove scrollbar */ |
|
292 | overflow-x: auto; /* Changed from auto to remove scrollbar */ | |
291 | } |
|
293 | } | |
292 |
|
294 | |||
293 | /* CSS font colors for translated ANSI colors. */ |
|
295 | /* CSS font colors for translated ANSI colors. */ | |
294 |
|
296 | |||
295 |
|
297 | |||
296 | .ansiblack {color: black;} |
|
298 | .ansiblack {color: black;} | |
297 | .ansired {color: darkred;} |
|
299 | .ansired {color: darkred;} | |
298 | .ansigreen {color: darkgreen;} |
|
300 | .ansigreen {color: darkgreen;} | |
299 | .ansiyellow {color: brown;} |
|
301 | .ansiyellow {color: brown;} | |
300 | .ansiblue {color: darkblue;} |
|
302 | .ansiblue {color: darkblue;} | |
301 | .ansipurple {color: darkviolet;} |
|
303 | .ansipurple {color: darkviolet;} | |
302 | .ansicyan {color: steelblue;} |
|
304 | .ansicyan {color: steelblue;} | |
303 | .ansigrey {color: grey;} |
|
305 | .ansigrey {color: grey;} | |
304 | .ansibold {font-weight: bold;} |
|
306 | .ansibold {font-weight: bold;} | |
305 |
|
307 | |||
306 | .completions { |
|
308 | .completions { | |
307 | position: absolute; |
|
309 | position: absolute; | |
308 | z-index: 10; |
|
310 | z-index: 10; | |
309 | overflow: auto; |
|
311 | overflow: auto; | |
310 | border: 1px solid black; |
|
312 | border: 1px solid black; | |
311 | } |
|
313 | } | |
312 |
|
314 | |||
313 | .completions select { |
|
315 | .completions select { | |
314 | background: white; |
|
316 | background: white; | |
315 | outline: none; |
|
317 | outline: none; | |
316 | border: none; |
|
318 | border: none; | |
317 | padding: 0px; |
|
319 | padding: 0px; | |
318 | margin: 0px; |
|
320 | margin: 0px; | |
319 | font-family: monospace; |
|
321 | font-family: monospace; | |
320 | } |
|
322 | } | |
321 |
|
323 | |||
322 | @media print { |
|
324 | @media print { | |
323 | body { overflow: visible !important; } |
|
325 | body { overflow: visible !important; } | |
324 | .ui-widget-content { border: 0px; } |
|
326 | .ui-widget-content { border: 0px; } | |
325 | } |
|
327 | } | |
326 |
|
328 | |||
327 | .shortcut_key { |
|
329 | .shortcut_key { | |
328 | display: inline-block; |
|
330 | display: inline-block; | |
329 | width: 10ex; |
|
331 | width: 10ex; | |
330 | text-align: right; |
|
332 | text-align: right; | |
331 | } |
|
333 | } | |
332 |
|
334 | |||
333 | .shortcut_descr { |
|
335 | .shortcut_descr { | |
334 | } No newline at end of file |
|
336 | } |
General Comments 0
You need to be logged in to leave comments.
Login now