The trouble with the current solution - besides the appearance, is that it gets copied as double spaced text in all browsers besides IE. The simplest solution would be to have newlines without <br>'s inside <pre> tags.