From dedda19626c140a21ec7e15add5b132be4e25b16 Mon Sep 17 00:00:00 2001 From: Nick O'Leary Date: Fri, 6 Feb 2015 11:27:21 +0000 Subject: [PATCH] Restyle user menu --- public/red/main.js | 1 - public/style.css | 11 +++++++++++ 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/public/red/main.js b/public/red/main.js index 6c4f1aa56..058ad2154 100644 --- a/public/red/main.js +++ b/public/red/main.js @@ -333,7 +333,6 @@ var RED = (function() { } else { RED.menu.addItem("btn-usermenu",{ id:"btn-username", - icon:"fa fa-user", label:""+RED.settings.user.username+"" }); RED.menu.addItem("btn-usermenu",{ diff --git a/public/style.css b/public/style.css index 0d7556853..1ad441ce1 100644 --- a/public/style.css +++ b/public/style.css @@ -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; +}