##// END OF EJS Templates
General cleanup of base.js, including indentation fixes and adding view callbacks to the save options dictionary.
General cleanup of base.js, including indentation fixes and adding view callbacks to the save options dictionary.

File last commit:

r13547:34cf349f
r14501:46d68b6b
Show More
mixins.less
11 lines | 197 B | text/x-less | LessCssLexer
Brian E. Granger
More movign around of things in notebook and js/less.
r10703 // Mixin CSS classes
.border-box-sizing {
box-sizing: border-box;
-moz-box-sizing: border-box;
-webkit-box-sizing: border-box;
}
.corner-all {
Matthias BUSSONNIER
use baseBorderRadius instead of corner_radius...
r13547 border-radius: @baseBorderRadius;
}