##// END OF EJS Templates
Fixing CM3 style related issues....
Fixing CM3 style related issues. CM3 introduced a number of changes to how various paddings are set. Because of how we change the line-height we had to set these back to the CM2 values. What a pain!

File last commit:

r9378:e58a2bce
r10423:f2bc0656
Show More
variables.less
18 lines | 402 B | text/x-less | LessCssLexer
@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;
// utilities mixins
.corner-all {
border-radius:@corner_radius;
}