This is white-space: pre; but not so `pre` if you copy and paste in FF