Modified how the <pre> tag is rendered.