##// END OF EJS Templates
fix Input prompt/code alignment...
MinRK -
Show More
@@ -1,336 +1,338 b''
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 /* input_area and input_prompt must match in top border and margin for alignment */
198 div.input_area {
199 div.input_area {
199 color: black;
200 color: black;
200 border: 1px solid #ddd;
201 border: 1px solid #ddd;
201 border-radius: 3px;
202 border-radius: 3px;
202 background: #fafafa;
203 background: #fafafa;
203 }
204 }
204
205
205 div.input_prompt {
206 div.input_prompt {
206 color: navy;
207 color: navy;
208 border-top: 1px solid transparent;
207 }
209 }
208
210
209 div.output {
211 div.output {
210 /* This is a spacer between the input and output of each cell */
212 /* This is a spacer between the input and output of each cell */
211 margin-top: 5px;
213 margin-top: 5px;
212 }
214 }
213
215
214 div.output_prompt {
216 div.output_prompt {
215 color: darkred;
217 color: darkred;
216 }
218 }
217
219
218 /* This class is the outer container of all output sections. */
220 /* This class is the outer container of all output sections. */
219 div.output_area {
221 div.output_area {
220 padding: 0px;
222 padding: 0px;
221 page-break-inside: avoid;
223 page-break-inside: avoid;
222 }
224 }
223
225
224 /* This class is for the output subarea inside the output_area and after
226 /* This class is for the output subarea inside the output_area and after
225 the prompt div. */
227 the prompt div. */
226 div.output_subarea {
228 div.output_subarea {
227 padding: 0.4em;
229 padding: 0.4em;
228 }
230 }
229
231
230 /* The rest of the output_* classes are for special styling of the different
232 /* The rest of the output_* classes are for special styling of the different
231 output types */
233 output types */
232
234
233 /* all text output has this class: */
235 /* all text output has this class: */
234 div.output_text {
236 div.output_text {
235 text-align: left;
237 text-align: left;
236 color: black;
238 color: black;
237 font-family: monospace;
239 font-family: monospace;
238 }
240 }
239
241
240 /* stdout/stderr are 'text' as well as 'stream', but pyout/pyerr are *not* streams */
242 /* stdout/stderr are 'text' as well as 'stream', but pyout/pyerr are *not* streams */
241 div.output_stream {
243 div.output_stream {
242 padding-top: 0.0em;
244 padding-top: 0.0em;
243 padding-bottom: 0.0em;
245 padding-bottom: 0.0em;
244 }
246 }
245 div.output_stdout {
247 div.output_stdout {
246 }
248 }
247 div.output_stderr {
249 div.output_stderr {
248 background: #fdd; /* very light red background for stderr */
250 background: #fdd; /* very light red background for stderr */
249 }
251 }
250
252
251 div.output_latex {
253 div.output_latex {
252 text-align: left;
254 text-align: left;
253 color: black;
255 color: black;
254 }
256 }
255
257
256 div.output_html {
258 div.output_html {
257 }
259 }
258
260
259 div.output_png {
261 div.output_png {
260 }
262 }
261
263
262 div.output_jpeg {
264 div.output_jpeg {
263 }
265 }
264
266
265 div.text_cell {
267 div.text_cell {
266 background-color: white;
268 background-color: white;
267 }
269 }
268
270
269 div.text_cell_input {
271 div.text_cell_input {
270 color: black;
272 color: black;
271 }
273 }
272
274
273 div.text_cell_render {
275 div.text_cell_render {
274 font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
276 font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
275 outline: none;
277 outline: none;
276 resize: none;
278 resize: none;
277 width: inherit;
279 width: inherit;
278 border-style: none;
280 border-style: none;
279 padding: 5px;
281 padding: 5px;
280 color: black;
282 color: black;
281 }
283 }
282
284
283 .CodeMirror {
285 .CodeMirror {
284 line-height: 1.231; /* Changed from 1em to our global default */
286 line-height: 1.231; /* Changed from 1em to our global default */
285 }
287 }
286
288
287 .CodeMirror-scroll {
289 .CodeMirror-scroll {
288 height: auto; /* Changed to auto to autogrow */
290 height: auto; /* Changed to auto to autogrow */
289 /* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/
291 /* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/
290 /* We have found that if it is visible, vertical scrollbars appear with font size changes.*/
292 /* We have found that if it is visible, vertical scrollbars appear with font size changes.*/
291 overflow-y: hidden;
293 overflow-y: hidden;
292 overflow-x: auto; /* Changed from auto to remove scrollbar */
294 overflow-x: auto; /* Changed from auto to remove scrollbar */
293 }
295 }
294
296
295 /* CSS font colors for translated ANSI colors. */
297 /* CSS font colors for translated ANSI colors. */
296
298
297
299
298 .ansiblack {color: black;}
300 .ansiblack {color: black;}
299 .ansired {color: darkred;}
301 .ansired {color: darkred;}
300 .ansigreen {color: darkgreen;}
302 .ansigreen {color: darkgreen;}
301 .ansiyellow {color: brown;}
303 .ansiyellow {color: brown;}
302 .ansiblue {color: darkblue;}
304 .ansiblue {color: darkblue;}
303 .ansipurple {color: darkviolet;}
305 .ansipurple {color: darkviolet;}
304 .ansicyan {color: steelblue;}
306 .ansicyan {color: steelblue;}
305 .ansigrey {color: grey;}
307 .ansigrey {color: grey;}
306 .ansibold {font-weight: bold;}
308 .ansibold {font-weight: bold;}
307
309
308 .completions {
310 .completions {
309 position: absolute;
311 position: absolute;
310 z-index: 10;
312 z-index: 10;
311 overflow: auto;
313 overflow: auto;
312 border: 1px solid black;
314 border: 1px solid black;
313 }
315 }
314
316
315 .completions select {
317 .completions select {
316 background: white;
318 background: white;
317 outline: none;
319 outline: none;
318 border: none;
320 border: none;
319 padding: 0px;
321 padding: 0px;
320 margin: 0px;
322 margin: 0px;
321 font-family: monospace;
323 font-family: monospace;
322 }
324 }
323
325
324 @media print {
326 @media print {
325 body { overflow: visible !important; }
327 body { overflow: visible !important; }
326 .ui-widget-content { border: 0px; }
328 .ui-widget-content { border: 0px; }
327 }
329 }
328
330
329 .shortcut_key {
331 .shortcut_key {
330 display: inline-block;
332 display: inline-block;
331 width: 10ex;
333 width: 10ex;
332 text-align: right;
334 text-align: right;
333 }
335 }
334
336
335 .shortcut_descr {
337 .shortcut_descr {
336 } No newline at end of file
338 }
General Comments 0
You need to be logged in to leave comments. Login now