font: html encode control characters