##// END OF EJS Templates
remove some redundant font-family: monospace...
remove some redundant font-family: monospace `pre`, `code` tags already set the font-family in these contexts. Setting it again in the surrounding context is redundant, and causes inconsistency when embedding notebooks in HTML (e.g. nbviewer).

File last commit:

r15733:67701c01
r15829:5b8247a1
Show More
variables.less
9 lines | 267 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;
// Our own global variables for all pages go here