Use <pre> elements to fix copy-pasting