minor fixes in user.css