added user-highlight on mouse over from int3h's branch