##// END OF EJS Templates
Merge pull request #7123 from takluyver/list-servers-nopid...
Merge pull request #7123 from takluyver/list-servers-nopid Handle nbserver info files without pid, from IPython 2.x

File last commit:

r19179:dc7663cc
r19297:9ccc64b8 merge
Show More
menubar.less
63 lines | 1.6 KiB | text/x-less | LessCssLexer
MinRK
bootstrap menubar
r10888 #menubar {
Jonathan Frederic
Post discussion with @ellisonbg
r16950 margin-top: 0px;
Jonathan Frederic
Kill the layout manager
r19179 margin-bottom: -24px;
Jonathan Frederic
Post discussion with @ellisonbg
r16950 position: relative;
Matthias BUSSONNIER
move styling from js to css
r17430 .border-box-sizing();
MinRK
bootstrap menubar
r10888
Jonathan Frederic
Post discussion with @ellisonbg
r16950 .navbar {
border-top: 1px;
border-radius: 0px 0px @border-radius-base @border-radius-base;
Jonathan Frederic
Kill the layout manager
r19179 margin-bottom: 23px;
Jonathan Frederic
Post discussion with @ellisonbg
r16950 }
MinRK
tweak collapsed navbar style...
r18414
.navbar-toggle {
float: left;
}
.navbar-collapse {
clear: left;
}
Jonathan Frederic
Post discussion with @ellisonbg
r16950 li.dropdown {
line-height: 12px;
MinRK
compress menubar a few pixels vertically
r10971
Jonathan Frederic
Post discussion with @ellisonbg
r16950 a {
padding-top: 6px;
padding-bottom: 5px;
}
}
Matthias BUSSONNIER
make help menu a templates...
r14984
Jonathan Frederic
Post discussion with @ellisonbg
r16950 ul.navbar-right {
padding-top: 2px;
MinRK
tweak collapsed navbar style...
r18414 margin-bottom: 0px;
Jonathan Frederic
Post discussion with @ellisonbg
r16950 }
jon
Fixed status indicator region
r16932 }
Jonathan Frederic
Post discussion with @ellisonbg
r16950 .nav-wrapper {
border-bottom: 1px solid @navbar-default-border;
}
jon
Fixed status indicator region
r16932
Matthias BUSSONNIER
make help menu a templates...
r14984 i.menu-icon {
// add padding to account for float-right
padding-top: 4px;
}
Jonathan Frederic
FF Fix: make ext icon same line as txt
r15095
ul#help_menu li a{
overflow: hidden;
padding-right: 2.2em;
i {
margin-right: -1.2em;
}
Jonathan Frederic
Move header padding removal to base page style
r16927 }
Jonathan Frederic
Post discussion with @ellisonbg
r16950 #menus {
min-height: 30px;
Jonathan Frederic
Move header padding removal to base page style
r16927 }
Jonathan Frederic
Added dropdown submenu CSS
r16928
jon
Fixed status indicator region
r16932 // Make sub menus work in BS3.
// Credit: http://www.bootply.com/86684
Jonathan Frederic
Added dropdown submenu CSS
r16928 .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;}