small fixes in ie.css