##// END OF EJS Templates
Backport PR #5944: Markdown rendering bug fix....
Backport PR #5944: Markdown rendering bug fix. The wrong signature of `$()` was being used wrong: http://api.jquery.com/jQuery/#jQuery1 right: http://api.jquery.com/jQuery/#jQuery2 Instead of implictly calling parseHTML, call it explicitly. ...

File last commit:

r16675:4a6cc50c
r17050:01ba807a
Show More
variables.less
20 lines | 546 B | text/x-less | LessCssLexer
// Our customizations to bootstrap go here.
@textColor: @black;
@baseFontSize: 13px;
@monoFontFamily: monospace; // to allow user to customize their fonts
@navbarHeight: 36px;
code {
color: @black; // default code color in bootstrap is #d14 (crimson / amaranth)
}
pre {
// bootstrap has pre defaults that we don't want to inherit.
// start pre tag defaults based on the surrounding context instead.
font-size: inherit;
line-height: inherit;
}
// Our own global variables for all pages go here