Fixes for new styles (menus, alert box)

Note that my suggested fix for menu crowding is to hide some "newbie" menus from admin users. If this is unwise, we'll need to shrink all menu text to 15px or 16px instead of 20px.