##// END OF EJS Templates
Merge pull request #3393 from minrk/bootstrap...
Merge pull request #3393 from minrk/bootstrap [WIP] bootstrapify

File last commit:

r10912:f5b8701e
r10974:20c70fc4 merge
Show More
variables.less
11 lines | 329 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 @corner_radius: 4px;
@code_line_height: 1.231em;