##// END OF EJS Templates
allow splitting and merging of heading cells...
allow splitting and merging of heading cells I consider it a bug that you couldn't merge with heading cells, and that you couldn't split them, either. (So much so that I thought it was a bug in ipython-vimception when I ran into it). This change removes that limitation, so heading cells are on par with the other cells in terms of the kinds of manipulations one can carry out with them.

File last commit:

r11033:fa36e98f
r17417:811c7332
Show More
savewidget.less
33 lines | 595 B | text/x-less | LessCssLexer
Brian E. Granger
Splitting notebook.less into separate files.
r10730 span#save_widget {
MinRK
tweak header styling...
r10906 padding: 0px 5px;
margin-top: 12px;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }
MinRK
hide save status as it shrinks
r10902 span#checkpoint_status, span#autosave_status {
Brian E. Granger
Splitting notebook.less into separate files.
r10730 font-size: small;
}
MinRK
hide save status as it shrinks
r10902
@media (max-width: 767px) {
span#save_widget {
font-size: small;
}
span#checkpoint_status, span#autosave_status {
font-size: x-small;
}
}
@media (max-width: 767px) {
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;
}
}