HTML decimal character rendering