minor css tweaks for IE