##// END OF EJS Templates
remove inappropriate negative margin on menubar...
remove inappropriate negative margin on menubar caused 1px mismatch between header background and menubar when toolbar is hidden.

File last commit:

r19953:21dc9b62
r20109:fd224203
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;
}
}