I've fixed the formatting in your post, I know it's quirky. It works well if you click the <pre> button before pasting in your text. Rather than unselecting the button when done, just click elsewhere to move your cursor out of the <pre> area.