##// END OF EJS Templates
Merge pull request #5430 from jdfreder/elementappend...
Merge pull request #5430 from jdfreder/elementappend Make sure `element` is correct in the context of displayed JS

File last commit:

r13547:34cf349f
r15996:0f59d3f3 merge
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;
}