/* styles applied to Internet Explorer */