##// 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
Brian E. Granger
Adding files that I mised in the last commit.
r10713 // Our customizations to bootstrap go here.
Brian E. Granger
Working on cleaning up our less files.
r10700
@textColor: @black;
Brian E. Granger
Fixing styles by overriding bootstrap.
r10724 @baseFontSize: 13px;
MinRK
overriding baseLineHeight is not a good idea
r10886 @monoFontFamily: monospace; // to allow user to customize their fonts
MinRK
shrink navbars a little
r10912 @navbarHeight: 36px;
Brian E. Granger
Adding files that I mised in the last commit.
r10713
// Our own global variables for all pages go here
MinRK
overriding baseLineHeight is not a good idea
r10886 @code_line_height: 1.231em;