htmlencoder for prettify elements