##// END OF EJS Templates
minor checkpoint cleanup...
minor checkpoint cleanup - remember list of checkpoints browser-side - cleanup references in MenuBar restore list. There was a closure issue, where multiple menu items would actually all restore the same checkpoint.

File last commit:

r11033:fa36e98f
r12050:a98029b4
Show More
mixins.less
10 lines | 193 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 {
border-radius: @corner_radius;
}