##// END OF EJS Templates
discuss `--to notebook`...
discuss `--to notebook` - downgrade and execute examples - also update `--to python` with `--to script`

File last commit:

r19953:21dc9b62
r20543:1d01eff7
Show More
savewidget.less
43 lines | 906 B | text/x-less | LessCssLexer
span.save_widget {
margin-top: 6px;
span.filename {
height: 1em;
line-height: 1em;
padding: 3px;
margin-left: @padding-large-horizontal;
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;
}
}
span.checkpoint_status, span.autosave_status {
font-size: small;
}
@media (max-width: @screen-xs-max) {
span.save_widget {
font-size: small;
}
span.checkpoint_status, span.autosave_status {
display: none;
}
}
@media (min-width: @screen-sm-min) and (max-width: @screen-sm-max) {
span.checkpoint_status {
display: none;
}
span.autosave_status {
font-size: x-small;
}
}