Added support for <pre> tag, e.g. formatted source code