##// END OF EJS Templates
Merge pull request #3356 from fperez/mpr-fixes...
Merge pull request #3356 from fperez/mpr-fixes git-mpr fixes Create a branch for the merge, so it's easier to do local testing without having to constantly revert out of master.

File last commit:

r10729:13c1b516
r10765:686357b0 merge
Show More
variables.less
9 lines | 286 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;
@baseLineHeight: 1.231;
Brian E. Granger
Fixing monospace style vars.
r10729 @monoFontFamily: monospace; // to allow user to customize their fonts
Brian E. Granger
Adding files that I mised in the last commit.
r10713
// Our own global variables for all pages go here
@corner_radius: 4px;