##// END OF EJS Templates
General cleanup of base.js, including indentation fixes and adding view callbacks to the save options dictionary.
General cleanup of base.js, including indentation fixes and adding view callbacks to the save options dictionary.

File last commit:

r13547:34cf349f
r14501:46d68b6b
Show More
variables.less
10 lines | 300 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;
// Our own global variables for all pages go here
@code_line_height: 1.231em;