##// END OF EJS Templates
Minor improvements to file upload....
Minor improvements to file upload. Updated file upload so that the icon of the new upload item reflects if it is a file or notebook, added the ability to use the "Enter" key in the filename text box to cause the upload to happen, and make it so that the list of files refreshes immediately upon successful upload.

File last commit:

r16970:5020129d
r17643:b91aa544
Show More
variables.less
38 lines | 890 B | text/x-less | LessCssLexer
// Our customizations to bootstrap go here.
@black: #000;
@text-color: @black;
@font-size-base: 13px;
@font-family-monospace: monospace; // to allow user to customize their fonts
@navbar-height: 36px;
@breadcrumb-color: darken(@border_color, 30%);
@blockquote-font-size: inherit;
@modal-inner-padding: 15px;
// Disable modal slide-in from top animation.
.modal {
&.fade .modal-dialog {
.translate(0, 0);
}
}
// Set the default code color.
code {
color: @black; // default code color in bootstrap is #d14 (crimson / amaranth)
}
// Override bootstrap pre element styling.
pre {
// bootstrap has pre defaults that we don't want to inherit.
// start pre tag defaults based on the surrounding context instead.
font-size: inherit;
line-height: inherit;
}
// Disable bold labels in BS3
label {
font-weight: normal;
}
// Our own global variables for all pages go here