##// END OF EJS Templates
Merge pull request #6694 from takluyver/config-rest-api...
Merge pull request #6694 from takluyver/config-rest-api Add REST API for retrieving, storing and updating config

File last commit:

r16937:85c6f87f
r18816:01354ade merge
Show More
mixins.less
19 lines | 289 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: @border-radius-base;
}
.border-radius(@radius) {
border-radius: @radius;
}
.no-padding {
padding: 0px;
}