##// END OF EJS Templates
Merge pull request #3416 from jzwinck/patch-1...
Merge pull request #3416 from jzwinck/patch-1 Fix doc: "principle" not "principal"

File last commit:

r10729:13c1b516
r10918:777161d8 merge
Show More
variables.less
9 lines | 286 B | text/x-less | LessCssLexer
// Our customizations to bootstrap go here.
@textColor: @black;
@baseFontSize: 13px;
@baseLineHeight: 1.231;
@monoFontFamily: monospace; // to allow user to customize their fonts
// Our own global variables for all pages go here
@corner_radius: 4px;