##// END OF EJS Templates
complete_reply has cursor_start and cursor_end, not matched_text
complete_reply has cursor_start and cursor_end, not matched_text

File last commit:

r16205:2fd8ab24
r16588:c089ced8
Show More
variables.less
20 lines | 546 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
Paul Ivanov
don't color code in crimson...
r15841 code {
color: @black; // default code color in bootstrap is #d14 (crimson / amaranth)
}
MinRK
cleanup some `pre` css inheritance...
r16205 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;
}
Brian E. Granger
Adding files that I mised in the last commit.
r10713 // Our own global variables for all pages go here