##// END OF EJS Templates
Fix the path we use when walking to include the path separator...
Fix the path we use when walking to include the path separator This is so that parent[len(path):] isn't an absolute path, so the pjoin doesn't throw dest away.

File last commit:

r16937:85c6f87f
r20078:b7fe62ea
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;
}