You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
44 lines
906 B
44 lines
906 B
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;
|
|
}
|
|
}
|
|
|
|
|
|
|