##// END OF EJS Templates
overriding baseLineHeight is not a good idea
overriding baseLineHeight is not a good idea

File last commit:

r10886:e14ee7b5
r10886:e14ee7b5
Show More
variables.less
10 lines | 299 B | text/x-less | LessCssLexer
// Our customizations to bootstrap go here.
@textColor: @black;
@baseFontSize: 13px;
@monoFontFamily: monospace; // to allow user to customize their fonts
// Our own global variables for all pages go here
@corner_radius: 4px;
@code_line_height: 1.231em;