Remove style tags from HTML export

Since CSS applied by JS gets injected into the HTML tags, the HTML export would have style attributes that are already covered in the CSS export. This commit strips the extraneous style attributes.