##// END OF EJS Templates
Fixing less variable names to use_the_right_convention.
Brian E. Granger -
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: @fontBaseColor;*/
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: @fontBaseColor;
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: @fontBaseColor;
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: @fontBaseColor;
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: @fontBaseColor;}
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: @fontBaseColor;
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 @fontBaseColor: black;
10 @base_font_color: black;
11
11
General Comments 0
You need to be logged in to leave comments. Login now