##// END OF EJS Templates
improve indicators and handling of dead kernels and broken websocket connections...
improve indicators and handling of dead kernels and broken websocket connections I think it's still possible to get to a state with no kernel and insufficient indication. Imperfect, but an improvement.

File last commit:

r17411:4d4ed600
r17676:655f2243
Show More
style.less
30 lines | 514 B | text/x-less | LessCssLexer
/*!
*
* Twitter Bootstrap
*
*/
@import "../components/bootstrap/less/bootstrap.less";
@import "../components/bootstrap/less/responsive-utilities.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";