##// END OF EJS Templates
restore accidentally removed EngineError...
restore accidentally removed EngineError in cleanup PR #3527, I removed one too many exception classes. I acked IPython to confirm that I didn't miss any more. closes #4100 should be backported to 1.1.

File last commit:

r11033:fa36e98f
r12285:8be7b867
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;
}