Output encoding of HTML