##// END OF EJS Templates
Merge pull request #7444 from minrk/toggle-header-bar...
Merge pull request #7444 from minrk/toggle-header-bar hide header-bar when header is hidden

File last commit:

r17372:1ad1bf0d
r19947:b852b8f6 merge
Show More
style.less
19 lines | 391 B | text/x-less | LessCssLexer
@import "style_noapp.less";
/*!
*
* IPython notebook webapp
*
*/
@import "notebook.less";
@import "celltoolbar.less";
@import "completer.less";
@import "kernelselector.less";
@import "menubar.less";
@import "notificationarea.less";
@import "notificationwidget.less";
@import "pager.less";
@import "quickhelp.less";
@import "savewidget.less";
@import "toolbar.less";
@import "tooltip.less";