##// END OF EJS Templates
keep only basic changes...
keep only basic changes Kept changes: - fewer, shorter menu items (too cryptic?), with icons. - main checkbox does not open menu, but selects all/none. - total selection count next to main checkbox (unsure if this is to be kept. It does address #7628). Removed changes: - sticky menu. - checkboxes and counters in menu.

File last commit:

r19648:ac31ebae
r20396:cf8a34e8
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";