Html 5 character encoding of a markup document