1
0
mirror of https://github.com/node-red/node-red.git synced 2023-10-10 13:36:53 +02:00

Restyle user menu

This commit is contained in:
Nick O'Leary 2015-02-06 11:27:21 +00:00
parent c31ffb98b0
commit dedda19626
2 changed files with 11 additions and 1 deletions

View File

@ -333,7 +333,6 @@ var RED = (function() {
} else {
RED.menu.addItem("btn-usermenu",{
id:"btn-username",
icon:"fa fa-user",
label:"<b>"+RED.settings.user.username+"</b>"
});
RED.menu.addItem("btn-usermenu",{

View File

@ -1240,6 +1240,11 @@ i.spinner {
color: #666;
}
#header ul.dropdown-menu > li.disabled:hover > a,
#header ul.dropdown-menu > li.disabled:focus > a {
background: none !important;
}
/* Deploy menu customisations */
#header ul#btn-deploy-options-submenu {
width: 300px !important;
@ -1256,3 +1261,9 @@ i.spinner {
#header ul#btn-deploy-options-submenu li a > i.fa {
display: none !important;
}
/* User menu customisations */
#header ul#btn-usermenu-submenu li a#btn-username > .menu-label {
font-size: 16px;
color: #fff;
}