##// END OF EJS Templates
use \0 instead of 'wake up' to finish output...
use \0 instead of 'wake up' to finish output since we are now seeing the captured output, we don't need `wake up` at the end of all of our test outputs.

File last commit:

r19953:21dc9b62
r20318:d5648dc2
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