##// END OF EJS Templates
Split js tests in N subgroups....
Split js tests in N subgroups. js test are the longer ~8 minutes vs ~3 for Python, and fails the more often. Hopefully this will speedup the build and have less test relaunched when we have a random faillure. Splitting should make the js test a bit faster

File last commit:

r19660:8cdedfc0
r19829:cb55df8b
Show More
variables.less
17 lines | 752 B | text/x-less | LessCssLexer
// Our own variables for this page
@cell_selected_background: darken(@body-bg, 2%);
@cell_background: darken(@body-bg, 3.2%);
@border_color: darken(@cell_selected_background, 31%);
@light_border_color: darken(@cell_selected_background, 17%);
@border_width: 1px;
@notebook_font_size: 14px;
@notebook_line_height: 20px;
@code_line_height: 1.21429em; // changed from 1.231 to get 17px even
@code_padding: 0.4em; // 5.6 px
@rendered_html_border_color: black;
@input_prompt_color: navy;
@output_prompt_color: darkred;
@output_pre_color: black;
@notification_widget_bg: rgba(240, 240, 240, 0.5);