##// END OF EJS Templates
MAINT: Return dicts from CheckpointManager.get_checkpoint....
MAINT: Return dicts from CheckpointManager.get_checkpoint. The output is going to get converted to a dict anyway, and this makes it easier to pipe output from a CheckpointManager directly to a ContentsManager.

File last commit:

r19648:ac31ebae
r19825:f587966f
Show More
style.less
33 lines | 545 B | text/x-less | LessCssLexer
/*!
*
* Twitter Bootstrap
*
*/
@import "../components/bootstrap/less/bootstrap.less";
/*!
*
* Font Awesome
*
*/
@import "../components/font-awesome/less/font-awesome.less";
@fa-font-path: "../components/font-awesome/fonts";
// base
@import "../base/less/style.less";
@import "../base/less/page.less";
// auth
@import "../auth/less/style.less";
// tree
@import "../tree/less/style.less";
// edit
@import "../edit/less/style.less";
// notebook
@import "../notebook/less/style.less";
// terminal
@import "../terminal/less/terminal.less";