##// END OF EJS Templates
Merge pull request #3525 from minrk/utc...
Merge pull request #3525 from minrk/utc Fix basic timezone info minor tweaks to jsonutil, to include timezone info if available add IPython.utils.tz, which just has basic info for making utcnow(), etc. include tzinfo in the datetime object use this tzinfo in the last_modified keys in notebook managers, which fixes Firefox's timezone offset for checkpoints

File last commit:

r11033:fa36e98f
r11187:b5297e0b merge
Show More
variables.less
11 lines | 329 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
// Our own global variables for all pages go here
MinRK
overriding baseLineHeight is not a good idea
r10886 @corner_radius: 4px;
@code_line_height: 1.231em;