##// END OF EJS Templates
Putting custom.css/custom.js in static/user.
Putting custom.css/custom.js in static/user.

File last commit:

r10707:cb50a0a3
r10710:2e4d4038
Show More
variables.less
11 lines | 427 B | text/x-less | LessCssLexer
// Bootstrap customizations specific to this page.
@corner_radius: 4px;
@notebook_background: white;
@cell_selected_background: darken(@notebook_background, 2%);
@cell_background: darken(@notebook_background, 3.2%);
@border_color: darken(@cell_selected_background, 31%);
@light_border_color: darken(@cell_selected_background, 17%);
@borderwidth: 1px;
@fontBaseColor: black;
@baseFontSize: 30pt;