##// END OF EJS Templates
Public server firewall configuration...
Public server firewall configuration Added section on firewall configuration. This should prevent users (like me) from struggling to figure out why their servers aren't executing code.

File last commit:

r17474:f201b462
r18943:c128d1bd
Show More
savewidget.less
34 lines | 596 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;
}
}
Matthias BUSSONNIER
use momentjs for nice dates
r17474