##// END OF EJS Templates
use single WebSocket connection for all channels...
use single WebSocket connection for all channels multiplex on a 'channel' key in message, rather than separate websockets. Unlike zmq, there aren't different message patterns that require the channels to be separate. Reduces FD count by factor of 3 and connection complexity in js.

File last commit:

r19814:eb27a16e
r19824:17ebfc54
Show More
menubar.less
78 lines | 1.3 KiB | text/x-less | LessCssLexer
MinRK
bootstrap menubar
r10888 #menubar {
Matthias BUSSONNIER
move styling from js to css
r17430 .border-box-sizing();
Jonathan Frederic
Make headerbar -1 margin global
r19814 margin-top: 1px;
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;
Matthias Bussonnier
remove whitespace below menubar when toolbar hidden....
r19707 margin-bottom: -1px;
Jonathan Frederic
Post discussion with @ellisonbg
r16950 }
MinRK
tweak collapsed navbar style...
r18414
.navbar-toggle {
float: left;
}
.navbar-collapse {
clear: left;
}
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 }
jon
Fixed status indicator region
r16932 // Make sub menus work in BS3.
// Credit: http://www.bootply.com/86684
Matthias Bussonnier
reformat css...
r19710 .dropdown-submenu {
position: relative;
}
.dropdown-submenu>.dropdown-menu {
top: 0;
left: 100%;
margin-top: -6px;
margin-left: -1px;
}
Matthias Bussonnier
unify submenu style with menu style...
r19717 // arrow that indicate presence of submenu
Matthias Bussonnier
reformat css...
r19710 .dropdown-submenu:hover>.dropdown-menu {
display: block;
}
.dropdown-submenu>a:after {
Matthias Bussonnier
unify submenu style with menu style...
r19717 .fa();
Matthias Bussonnier
reformat css...
r19710 display: block;
Matthias Bussonnier
unify submenu style with menu style...
r19717 content: @fa-var-caret-right;
Matthias Bussonnier
reformat css...
r19710 float: right;
Matthias Bussonnier
unify submenu style with menu style...
r19717 color: @dropdown-link-color;
margin-top: 2px;
Matthias Bussonnier
reformat css...
r19710 margin-right: -10px;
}
Matthias Bussonnier
unify submenu style with menu style...
r19717 .dropdown-submenu:hover>a:after {
color: @dropdown-link-hover-color;
Matthias Bussonnier
reformat css...
r19710 }
.dropdown-submenu.pull-left {
float: none;
}
.dropdown-submenu.pull-left>.dropdown-menu {
left: -100%;
margin-left: 10px;
}
Matthias Bussonnier
unify submenu style with menu style...
r19717
//end submenu