##// END OF EJS Templates
remove some redundant font-family: monospace...
remove some redundant font-family: monospace `pre`, `code` tags already set the font-family in these contexts. Setting it again in the surrounding context is redundant, and causes inconsistency when embedding notebooks in HTML (e.g. nbviewer).

File last commit:

r13547:34cf349f
r15829:5b8247a1
Show More
mixins.less
11 lines | 197 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: @baseBorderRadius;
}