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.
42 lines
830 B
42 lines
830 B
span.save_widget {
|
|
margin-top: 6px;
|
|
|
|
span.filename {
|
|
height: 1em;
|
|
line-height: 1em;
|
|
padding: 3px;
|
|
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;
|
|
}
|
|
}
|
|
|
|
|