minor styling tweaks for FF, IE