##// END OF EJS Templates
MAINT: Return dicts from CheckpointManager.get_checkpoint....
MAINT: Return dicts from CheckpointManager.get_checkpoint. The output is going to get converted to a dict anyway, and this makes it easier to pipe output from a CheckpointManager directly to a ContentsManager.

File last commit:

r19658:24d572e0
r19825:f587966f
Show More
savewidget.less
42 lines | 878 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: 767px) {
span.save_widget {
font-size: small;
}
span.checkpoint_status, span.autosave_status {
display: none;
}
}
@media (min-width: 768px) and (max-width: 979px) {
span.checkpoint_status {
display: none;
}
span.autosave_status {
font-size: x-small;
}
}