##// END OF EJS Templates
Backport PR #5804: remove an inappropriate `!`...
Backport PR #5804: remove an inappropriate `!` The logic was backward, causing input prompt not to be set when many executions were submitted simultaneously. closes #5800

File last commit:

r15841:f2973ab2
r16609:0a3649a6
Show More
variables.less
13 lines | 358 B | text/x-less | LessCssLexer
// Our customizations to bootstrap go here.
@textColor: @black;
@baseFontSize: 13px;
@monoFontFamily: monospace; // to allow user to customize their fonts
@navbarHeight: 36px;
code {
color: @black; // default code color in bootstrap is #d14 (crimson / amaranth)
}
// Our own global variables for all pages go here