Show More
| @@ -41,7 +41,7 div.ui-widget-content{border:1px solid #e0e0e0;outline:none;} | |||
|
|
41 | 41 | div.cell{width:100%;padding:5px 5px 5px 0px;margin:2px 0px 2px 0px;} |
|
|
42 | 42 | div.prompt{width:11ex;padding:0.4em;margin:0px;font-family:monospace;text-align:right;} |
|
|
43 | 43 | div.input{page-break-inside:avoid;} |
|
|
44 |
div.input_area{ |
|
|
|
44 | div.input_area{border:1px solid #e0e0e0;border-radius:3px;background:#f7f7f7;} | |
|
|
45 | 45 | div.input_prompt{color:navy;border-top:1px solid transparent;} |
|
|
46 | 46 | div.output_wrapper{margin-top:5px;margin-left:5px;width:100%;position:relative;} |
|
|
47 | 47 | div.output_scroll{height:24em;width:100%;overflow:auto;border-radius:3px;box-shadow:inset 0 2px 8px rgba(0, 0, 0, 0.8);} |
| @@ -51,16 +51,16 div.out_prompt_overlay:hover{box-shadow:inset 0 0 1px #000;background:rgba(240, | |||
|
|
51 | 51 | div.output_prompt{color:darkred;margin:0 5px 0 -5px;} |
|
|
52 | 52 | div.output_area{padding:0px;page-break-inside:avoid;} |
|
|
53 | 53 | div.output_subarea{padding:0.44em 0.4em 0.4em 1px;} |
|
|
54 |
div.output_text{text-align:left;color: |
|
|
|
54 | div.output_text{text-align:left;color:#000000;font-family:monospace;} | |
|
|
55 | 55 | div.output_stream{padding-top:0.0em;padding-bottom:0.0em;} |
|
|
56 | 56 | div.output_stderr{background:#fdd;} |
|
|
57 |
div.output_latex{text-align:left; |
|
|
|
57 | div.output_latex{text-align:left;} | |
|
|
58 | 58 | div.text_cell{padding:5px 5px 5px 5px;} |
|
|
59 |
div.text_cell_input{color: |
|
|
|
60 |
div.text_cell_render{outline:none;resize:none;width:inherit;border-style:none;padding:5px;color: |
|
|
|
59 | div.text_cell_input{color:#000000;border:1px solid #e0e0e0;border-radius:3px;background:#f7f7f7;} | |
|
|
60 | div.text_cell_render{outline:none;resize:none;width:inherit;border-style:none;padding:5px;color:#000000;} | |
|
|
61 | 61 | .CodeMirror{line-height:1.231;} |
|
|
62 | 62 | .CodeMirror-scroll{height:auto;overflow-y:hidden;overflow-x:auto;} |
|
|
63 |
.ansiblack{color: |
|
|
|
63 | .ansiblack{color:#000000;} | |
|
|
64 | 64 | .ansired{color:darkred;} |
|
|
65 | 65 | .ansigreen{color:darkgreen;} |
|
|
66 | 66 | .ansiyellow{color:brown;} |
| @@ -199,7 +199,7 div.input { | |||
|
|
199 | 199 | |
|
|
200 | 200 | /* input_area and input_prompt must match in top border and margin for alignment */ |
|
|
201 | 201 | div.input_area { |
|
|
202 | color: black; | |
|
|
202 | /*color: @fontBaseColor;*/ | |
|
|
203 | 203 | border: 1px solid @border_color; |
|
|
204 | 204 | .corner-all; |
|
|
205 | 205 | background: @cell_background; |
| @@ -289,7 +289,7 div.output_subarea { | |||
|
|
289 | 289 | /* all text output has this class: */ |
|
|
290 | 290 | div.output_text { |
|
|
291 | 291 | text-align: left; |
|
|
292 |
color: |
|
|
|
292 | color: @fontBaseColor; | |
|
|
293 | 293 | font-family: monospace; |
|
|
294 | 294 | /* This has to match that of the the CodeMirror class line-height below */ |
|
|
295 | 295 | line-height: 1.231; |
| @@ -308,7 +308,6 div.output_stderr { | |||
|
|
308 | 308 | |
|
|
309 | 309 | div.output_latex { |
|
|
310 | 310 | text-align: left; |
|
|
311 | color: black; | |
|
|
312 | 311 | } |
|
|
313 | 312 | |
|
|
314 | 313 | div.output_html { |
| @@ -325,7 +324,7 div.text_cell { | |||
|
|
325 | 324 | } |
|
|
326 | 325 | |
|
|
327 | 326 | div.text_cell_input { |
|
|
328 |
color: |
|
|
|
327 | color: @fontBaseColor; | |
|
|
329 | 328 | border: 1px solid @border_color; |
|
|
330 | 329 | .corner-all; |
|
|
331 | 330 | background: @cell_background; |
| @@ -338,7 +337,7 div.text_cell_render { | |||
|
|
338 | 337 | width: inherit; |
|
|
339 | 338 | border-style: none; |
|
|
340 | 339 | padding: 5px; |
|
|
341 |
color: |
|
|
|
340 | color: @fontBaseColor; | |
|
|
342 | 341 | } |
|
|
343 | 342 | |
|
|
344 | 343 | /* The following gets added to the <head> if it is detected that the user has a |
| @@ -367,7 +366,7 div.text_cell_render { | |||
|
|
367 | 366 | /* CSS font colors for translated ANSI colors. */ |
|
|
368 | 367 | |
|
|
369 | 368 | |
|
|
370 |
.ansiblack {color: |
|
|
|
369 | .ansiblack {color: @fontBaseColor;} | |
|
|
371 | 370 | .ansired {color: darkred;} |
|
|
372 | 371 | .ansigreen {color: darkgreen;} |
|
|
373 | 372 | .ansiyellow {color: brown;} |
General Comments 0
You need to be logged in to leave comments.
Login now