<pre> doesn't actually work properly. With RMDSK (ADE), if the <pre> goes off the screen, you don't see it. I don't know if this bug has been fixed or not, but it does exist in older versions and a lot of Readers or apps are using older versions. So using <pre> is out.
|