##// 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
Matthias Bussonnier -
r19947:b852b8f6 merge
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / notebook / less
ansicolors.less Loading ...
cell.less Loading ...
celltoolbar.less Loading ...
codecell.less Loading ...
codemirror.less Loading ...
completer.less Loading ...
highlight-refs.less Loading ...
highlight.less Loading ...
kernelselector.less Loading ...
menubar.less Loading ...
notebook.less Loading ...
notificationarea.less Loading ...
notificationwidget.less Loading ...
outputarea.less Loading ...
pager.less Loading ...
quickhelp.less Loading ...
renderedhtml.less Loading ...
savewidget.less Loading ...
style.less Loading ...
style_noapp.less Loading ...
textcell.less Loading ...
toolbar.less Loading ...
tooltip.less Loading ...
variables.less Loading ...