##// END OF EJS Templates
Allow starting the server with both file_to_run and notebook_dir...
Allow starting the server with both file_to_run and notebook_dir file_to_run and notebook_dir would collide, with possible dictionary ordering randomness depending on how they were passed. With this change, the default value of notebook_dir is pulled from file_to_run, instead of pushing the value when file_to_run is changed. This makes it possible to specify both and have the server behave as expected.

File last commit:

r18489:2bdaec39
r18970:cd6abd35
Show More
style.less
29 lines | 489 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";
// notebook
@import "../notebook/less/style.less";
@import "../notebook/less/terminal.less";