##// END OF EJS Templates
Allow for None default value in dicts
Allow for None default value in dicts

File last commit:

r19953:21dc9b62
r20308:fbfccdd5
Show More
savewidget.less
43 lines | 906 B | text/x-less | LessCssLexer
Min RK
make savewidget css a little more generic...
r19315 span.save_widget {
Min RK
remove some custom css...
r19298 margin-top: 6px;
Min RK
make savewidget css a little more generic...
r19315
span.filename {
height: 1em;
line-height: 1em;
padding: 3px;
Jonathan Frederic
Additional aesthetic clean-up
r19658 margin-left: @padding-large-horizontal;
Min RK
make savewidget css a little more generic...
r19315 border: none;
font-size: 146.5%;
&:hover{
// ensure body is lighter on dark palette,
// and vice versa
background-color:contrast(@body-bg, lighten(@body-bg,30%), darken(@body-bg,10%));
}
.corner-all;
}
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }
Min RK
make savewidget css a little more generic...
r19315 span.checkpoint_status, span.autosave_status {
Brian E. Granger
Splitting notebook.less into separate files.
r10730 font-size: small;
}
MinRK
hide save status as it shrinks
r10902
Matthias Bussonnier
rework css media-query...
r19953 @media (max-width: @screen-xs-max) {
Min RK
make savewidget css a little more generic...
r19315 span.save_widget {
MinRK
hide save status as it shrinks
r10902 font-size: small;
}
Min RK
make savewidget css a little more generic...
r19315 span.checkpoint_status, span.autosave_status {
display: none;
MinRK
hide save status as it shrinks
r10902 }
}
Matthias Bussonnier
rework css media-query...
r19953 @media (min-width: @screen-sm-min) and (max-width: @screen-sm-max) {
Min RK
make savewidget css a little more generic...
r19315 span.checkpoint_status {
MinRK
hide save status as it shrinks
r10902 display: none;
}
Min RK
make savewidget css a little more generic...
r19315 span.autosave_status {
MinRK
hide save status as it shrinks
r10902 font-size: x-small;
}
}
Min RK
make savewidget css a little more generic...
r19315
Matthias Bussonnier
rework css media-query...
r19953