HTML_decimal_character_rendering