html: add body class for IE