##// END OF EJS Templates
Merge pull request #3516 from jakevdp/configurable_highlight...
Merge pull request #3516 from jakevdp/configurable_highlight make css highlight style configurable

File last commit:

r11033:fa36e98f
r11142:2cfee8d6 merge
Show More
style.less
17 lines | 310 B | text/x-less | LessCssLexer
// Bootstrap
@import "../components/bootstrap/less/bootstrap.less";
@import "../components/bootstrap/less/responsive.less";
// base
@import "../base/less/style.less";
// auth
@import "../auth/less/style.less";
// tree
@import "../tree/less/style.less";
// notebook
@import "../notebook/less/style.less";