Modified formatting of <pre> section