##// END OF EJS Templates
Merge pull request #3416 from jzwinck/patch-1...
Merge pull request #3416 from jzwinck/patch-1 Fix doc: "principle" not "principal"

File last commit:

r10705:b31ccdc2
r10918:777161d8 merge
Show More
mixins.less
10 lines | 193 B | text/x-less | LessCssLexer
// Mixin CSS classes
.border-box-sizing {
box-sizing: border-box;
-moz-box-sizing: border-box;
-webkit-box-sizing: border-box;
}
.corner-all {
border-radius: @corner_radius;
}