##// END OF EJS Templates
re-cast int/float subclasses to int/float in json_clean...
re-cast int/float subclasses to int/float in json_clean Protects against custom `__str__` in int subclasses (e.g. enums). Works around a [bug in the stdlib](http://bugs.python.org/issue12657). closes #4598

File last commit:

r13547:34cf349f
r13706:e6f14d5a
Show More
variables.less
10 lines | 300 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
@code_line_height: 1.231em;