##// END OF EJS Templates
upstream » ipython
RSS

Clone from https://github.com/ipython/ipython.git

Remove $el_to_style from the widget javascript code; '' now defaults to this.$el...
Remove $el_to_style from the widget javascript code; '' now defaults to this.$el This seems to make it easiest to select the top-level element. An alternative is to use special syntax for top-level elements, like in https://github.com/ipython/ipython/pull/6185 This will be followed up by other fixes that let the user set specific common properties of different elements. This change also adds the .addBack() call, which means that nonempty selectors now apply to this.$el and its descendants, rather than just the descendants of this.$el.
Jonathan Frederic - - Load All Authors

File last commit:

r16972:70452358
r17420:69911d59
Show More
menubar.less
54 lines | 1.4 KiB | text/x-less | LessCssLexer
/ IPython / html / static / notebook / less / menubar.less
History | Annotation | Raw |Copy content |Copy permalink
#menubar {
margin-top: 0px;
margin-bottom: -19px;
position: relative;
.navbar {
border-top: 1px;
border-radius: 0px 0px @border-radius-base @border-radius-base;
}
li.dropdown {
line-height: 12px;
a {
padding-top: 6px;
padding-bottom: 5px;
}
}
ul.navbar-right {
padding-top: 2px;
}
}
.nav-wrapper {
border-bottom: 1px solid @navbar-default-border;
}
i.menu-icon {
// add padding to account for float-right
padding-top: 4px;
}
ul#help_menu li a{
overflow: hidden;
padding-right: 2.2em;
i {
margin-right: -1.2em;
}
}
#menus {
min-height: 30px;
}
// Make sub menus work in BS3.
// Credit: http://www.bootply.com/86684
.dropdown-submenu{position:relative;}
.dropdown-submenu>.dropdown-menu{top:0;left:100%;margin-top:-6px;margin-left:-1px;-webkit-border-radius:0 6px 6px 6px;-moz-border-radius:0 6px 6px 6px;border-radius:0 6px 6px 6px;}
.dropdown-submenu:hover>.dropdown-menu{display:block;}
.dropdown-submenu>a:after{display:block;content:" ";float:right;width:0;height:0;border-color:transparent;border-style:solid;border-width:5px 0 5px 5px;border-left-color:#cccccc;margin-top:5px;margin-right:-10px;}
.dropdown-submenu:hover>a:after{border-left-color:#ffffff;}
.dropdown-submenu.pull-left{float:none;}.dropdown-submenu.pull-left>.dropdown-menu{left:-100%;margin-left:10px;-webkit-border-radius:6px 0 6px 6px;-moz-border-radius:6px 0 6px 6px;border-radius:6px 0 6px 6px;}