##// END OF EJS Templates
Merge pull request #5844 from jdfreder/scrollmanager...
Merge pull request #5844 from jdfreder/scrollmanager 'Paul' scroll feature

File last commit:

r16937:85c6f87f
r17935:f3f0886e merge
Show More
mixins.less
19 lines | 289 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 {
Jonathan Frederic
Get notebook running with Bootstrap3
r16912 border-radius: @border-radius-base;
Matthias BUSSONNIER
use baseBorderRadius instead of corner_radius...
r13547 }
Jonathan Frederic
Get notebook running with Bootstrap3
r16912
.border-radius(@radius) {
border-radius: @radius;
Jonathan Frederic
Lots of small alignment tweaks to get Bootstrap3 looking better
r16937 }
.no-padding {
padding: 0px;
}