Show More
| @@ -8,7 +8,7 b'' | |||||
| 8 | @import "highlight.less"; |
|
8 | @import "highlight.less"; | |
| 9 |
|
9 | |||
| 10 | body { |
|
10 | body { | |
| 11 |
background-color:@ |
|
11 | background-color: @bodyBackground; | |
| 12 | } |
|
12 | } | |
| 13 |
|
13 | |||
| 14 | body.notebook_app { |
|
14 | body.notebook_app { | |
| @@ -220,7 +220,6 b' div.input {' | |||||
| 220 |
|
220 | |||
| 221 | /* input_area and input_prompt must match in top border and margin for alignment */ |
|
221 | /* input_area and input_prompt must match in top border and margin for alignment */ | |
| 222 | div.input_area { |
|
222 | div.input_area { | |
| 223 | /*color: @base_font_color;*/ |
|
|||
| 224 | border: 1px solid @light_border_color; |
|
223 | border: 1px solid @light_border_color; | |
| 225 | .corner-all; |
|
224 | .corner-all; | |
| 226 | background: @cell_background; |
|
225 | background: @cell_background; | |
| @@ -313,7 +312,7 b' div.output_subarea {' | |||||
| 313 | /* all text output has this class: */ |
|
312 | /* all text output has this class: */ | |
| 314 | div.output_text { |
|
313 | div.output_text { | |
| 315 | text-align: left; |
|
314 | text-align: left; | |
| 316 |
color: @ |
|
315 | color: @textColor; | |
| 317 | font-family: monospace; |
|
316 | font-family: monospace; | |
| 318 | /* This has to match that of the the CodeMirror class line-height below */ |
|
317 | /* This has to match that of the the CodeMirror class line-height below */ | |
| 319 | line-height: @baseLineHeight; |
|
318 | line-height: @baseLineHeight; | |
| @@ -348,7 +347,7 b' div.text_cell {' | |||||
| 348 | } |
|
347 | } | |
| 349 |
|
348 | |||
| 350 | div.text_cell_input { |
|
349 | div.text_cell_input { | |
| 351 |
color: @ |
|
350 | color: @textColor; | |
| 352 | border: 1px solid @light_border_color; |
|
351 | border: 1px solid @light_border_color; | |
| 353 | .corner-all; |
|
352 | .corner-all; | |
| 354 | background: @cell_background; |
|
353 | background: @cell_background; | |
| @@ -361,7 +360,7 b' div.text_cell_render {' | |||||
| 361 | width: inherit; |
|
360 | width: inherit; | |
| 362 | border-style: none; |
|
361 | border-style: none; | |
| 363 | padding: 5px; |
|
362 | padding: 5px; | |
| 364 |
color: @ |
|
363 | color: @textColor; | |
| 365 | } |
|
364 | } | |
| 366 |
|
365 | |||
| 367 | /* The following gets added to the <head> if it is detected that the user has a |
|
366 | /* The following gets added to the <head> if it is detected that the user has a | |
| @@ -405,7 +404,7 b' div.text_cell_render {' | |||||
| 405 | /* CSS font colors for translated ANSI colors. */ |
|
404 | /* CSS font colors for translated ANSI colors. */ | |
| 406 |
|
405 | |||
| 407 |
|
406 | |||
| 408 |
.ansiblack {color: @ |
|
407 | .ansiblack {color: @textColor;} | |
| 409 | .ansired {color: darkred;} |
|
408 | .ansired {color: darkred;} | |
| 410 | .ansigreen {color: darkgreen;} |
|
409 | .ansigreen {color: darkgreen;} | |
| 411 | .ansiyellow {color: brown;} |
|
410 | .ansiyellow {color: brown;} | |
| @@ -433,7 +432,7 b' div.text_cell_render {' | |||||
| 433 | overflow: auto; |
|
432 | overflow: auto; | |
| 434 | font-family: monospace; |
|
433 | font-family: monospace; | |
| 435 | font-size: 110%; |
|
434 | font-size: 110%; | |
| 436 |
color: @ |
|
435 | color: @textColor; | |
| 437 | } |
|
436 | } | |
| 438 |
|
437 | |||
| 439 | .completions select option.context { |
|
438 | .completions select option.context { | |
| @@ -1,11 +1,9 b'' | |||||
| 1 |
|
1 | |||
| 2 | // Our own variables for this page |
|
2 | // Our own variables for this page | |
| 3 |
|
3 | |||
| 4 | @notebook_background: white; |
|
4 | @cell_selected_background: darken(@bodyBackground, 2%); | |
| 5 |
@cell_ |
|
5 | @cell_background: darken(@bodyBackground, 3.2%); | |
| 6 | @cell_background: darken(@notebook_background, 3.2%); |
|
|||
| 7 | @border_color: darken(@cell_selected_background, 31%); |
|
6 | @border_color: darken(@cell_selected_background, 31%); | |
| 8 | @light_border_color: darken(@cell_selected_background, 17%); |
|
7 | @light_border_color: darken(@cell_selected_background, 17%); | |
| 9 | @border_width: 1px; |
|
8 | @border_width: 1px; | |
| 10 | @base_font_color: black; |
|
|||
| 11 |
|
9 | |||
General Comments 0
You need to be logged in to leave comments.
Login now