Removning orphaned mixin, adding IE overflow bug fix for the username menu, and misc cleanup