Shorten char encoding for HTML documents.