##// END OF EJS Templates
round corner and light bg on code areas...
MinRK -
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