Show More
@@ -91,7 +91,7 b' span#notebook_name {' | |||||
91 |
|
91 | |||
92 | .toolbar { |
|
92 | .toolbar { | |
93 | padding: 3px 15px; |
|
93 | padding: 3px 15px; | |
94 | border-bottom: @borderwidth @border_color solid; |
|
94 | border-bottom: @border_width @border_color solid; | |
95 |
|
95 | |||
96 | button { |
|
96 | button { | |
97 | margin-top:2px; |
|
97 | margin-top:2px; | |
@@ -219,7 +219,7 b' div.input {' | |||||
219 |
|
219 | |||
220 | /* input_area and input_prompt must match in top border and margin for alignment */ |
|
220 | /* input_area and input_prompt must match in top border and margin for alignment */ | |
221 | div.input_area { |
|
221 | div.input_area { | |
222 |
/*color: @ |
|
222 | /*color: @base_font_color;*/ | |
223 | border: 1px solid @light_border_color; |
|
223 | border: 1px solid @light_border_color; | |
224 | .corner-all; |
|
224 | .corner-all; | |
225 | background: @cell_background; |
|
225 | background: @cell_background; | |
@@ -309,7 +309,7 b' div.output_subarea {' | |||||
309 | /* all text output has this class: */ |
|
309 | /* all text output has this class: */ | |
310 | div.output_text { |
|
310 | div.output_text { | |
311 | text-align: left; |
|
311 | text-align: left; | |
312 |
color: @ |
|
312 | color: @base_font_color; | |
313 | font-family: monospace; |
|
313 | font-family: monospace; | |
314 | /* This has to match that of the the CodeMirror class line-height below */ |
|
314 | /* This has to match that of the the CodeMirror class line-height below */ | |
315 | line-height: 1.231; |
|
315 | line-height: 1.231; | |
@@ -344,7 +344,7 b' div.text_cell {' | |||||
344 | } |
|
344 | } | |
345 |
|
345 | |||
346 | div.text_cell_input { |
|
346 | div.text_cell_input { | |
347 |
color: @ |
|
347 | color: @base_font_color; | |
348 | border: 1px solid @light_border_color; |
|
348 | border: 1px solid @light_border_color; | |
349 | .corner-all; |
|
349 | .corner-all; | |
350 | background: @cell_background; |
|
350 | background: @cell_background; | |
@@ -357,7 +357,7 b' div.text_cell_render {' | |||||
357 | width: inherit; |
|
357 | width: inherit; | |
358 | border-style: none; |
|
358 | border-style: none; | |
359 | padding: 5px; |
|
359 | padding: 5px; | |
360 |
color: @ |
|
360 | color: @base_font_color; | |
361 | } |
|
361 | } | |
362 |
|
362 | |||
363 | /* The following gets added to the <head> if it is detected that the user has a |
|
363 | /* The following gets added to the <head> if it is detected that the user has a | |
@@ -399,7 +399,7 b' div.text_cell_render {' | |||||
399 | /* CSS font colors for translated ANSI colors. */ |
|
399 | /* CSS font colors for translated ANSI colors. */ | |
400 |
|
400 | |||
401 |
|
401 | |||
402 |
.ansiblack {color: @ |
|
402 | .ansiblack {color: @base_font_color;} | |
403 | .ansired {color: darkred;} |
|
403 | .ansired {color: darkred;} | |
404 | .ansigreen {color: darkgreen;} |
|
404 | .ansigreen {color: darkgreen;} | |
405 | .ansiyellow {color: brown;} |
|
405 | .ansiyellow {color: brown;} | |
@@ -427,7 +427,7 b' div.text_cell_render {' | |||||
427 | overflow: auto; |
|
427 | overflow: auto; | |
428 | font-family: monospace; |
|
428 | font-family: monospace; | |
429 | font-size: 110%; |
|
429 | font-size: 110%; | |
430 |
color: @ |
|
430 | color: @base_font_color; | |
431 | } |
|
431 | } | |
432 |
|
432 | |||
433 | .completions select option.context { |
|
433 | .completions select option.context { |
@@ -101,7 +101,7 b'' | |||||
101 | background-color: @cell_background; |
|
101 | background-color: @cell_background; | |
102 |
|
102 | |||
103 | overflow : visible; |
|
103 | overflow : visible; | |
104 | border: @border_color @borderwidth solid; |
|
104 | border: @border_color @border_width solid; | |
105 | outline: none; |
|
105 | outline: none; | |
106 | padding: 3px; |
|
106 | padding: 3px; | |
107 | margin: 0px; |
|
107 | margin: 0px; | |
@@ -134,7 +134,7 b'' | |||||
134 |
|
134 | |||
135 | .pretooltiparrow:before { |
|
135 | .pretooltiparrow:before { | |
136 | background-color : @cell_background; |
|
136 | background-color : @cell_background; | |
137 | border : @borderwidth @border_color solid; |
|
137 | border : @border_width @border_color solid; | |
138 | z-index:11; |
|
138 | z-index:11; | |
139 | content: ""; |
|
139 | content: ""; | |
140 | position: absolute; |
|
140 | position: absolute; |
@@ -6,6 +6,6 b'' | |||||
6 | @cell_background: darken(@notebook_background, 3.2%); |
|
6 | @cell_background: darken(@notebook_background, 3.2%); | |
7 | @border_color: darken(@cell_selected_background, 31%); |
|
7 | @border_color: darken(@cell_selected_background, 31%); | |
8 | @light_border_color: darken(@cell_selected_background, 17%); |
|
8 | @light_border_color: darken(@cell_selected_background, 17%); | |
9 | @borderwidth: 1px; |
|
9 | @border_width: 1px; | |
10 |
@ |
|
10 | @base_font_color: black; | |
11 |
|
11 |
General Comments 0
You need to be logged in to leave comments.
Login now