Add an extra trick to display '<' style characters properly in the <pre> element.