##// END OF EJS Templates
remove codemirror as it picked the folder not the git repo
remove codemirror as it picked the folder not the git repo

File last commit:

r9279:1e1d3c33
r9283:a2edd877
Show More
variables.less
17 lines | 342 B | text/x-less | LessCssLexer
Matthias BUSSONNIER
start to migrate to variables
r9260 @corner_radius: 3px;
@notebook_background : white;
@cell_selected_background: darken(@notebook_background, 2%);
@cell_background: darken(@notebook_background, 3.2%);
@border_color: darken(@cell_selected_background, 10%);
Matthias BUSSONNIER
use less for tooltip
r9263 @borderwidth : 1px;
Bussonnier Matthias
use varaible for background color
r9279 @fontBaseColor : black;
Matthias BUSSONNIER
start mixins
r9261
// utilities mixins
.corner-all {
border-radius:@corner_radius;
}