##// END OF EJS Templates
Merge pull request #4230 from fperez/mpl-backends...
Merge pull request #4230 from fperez/mpl-backends Switch correctly to the user's default matplotlib backend after inline. If '%matplotlib inline' was called first, we'd incorrectly revert to inline when plain '%matplotlib' was called, instead of loading the user's default GUI. If the user called '%matplotlib' first (without 'inline') it worked correctly, but not in the other order. The fix is to read the backend from the original defaults, not from the runtime data structure. Requires matplotlib 1.1

File last commit:

r11033:fa36e98f
r12790:a562753f merge
Show More
menubar.less
19 lines | 292 B | text/x-less | LessCssLexer
MinRK
bootstrap menubar
r10888 #menubar {
}
#menubar .navbar-inner {
min-height: 28px;
MinRK
menubar not full-width...
r10970 border-top: 1px;
border-radius: 0px 0px @baseBorderRadius @baseBorderRadius;
}
#menubar .navbar {
margin-bottom: 8px;
MinRK
use responsive bootstrap
r10900 }
.nav-wrapper {
border-bottom: 1px solid @navbarBorder;
MinRK
menubar not full-width...
r10970 }
MinRK
compress menubar a few pixels vertically
r10971
#menubar li.dropdown {
line-height: 12px;
}