##// END OF EJS Templates
Changed selection widget API to use labels list...
Changed selection widget API to use labels list for mapping custom str reprs to items in the selection list

File last commit:

r11033:fa36e98f
r14709:eab8dac4
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;
}