My impression is that <div> cannot contain <pre> elements in XHTML (did
I dream this?). Which means that you end up with <div class="p"><div
class="pre"></div></div>; and that's not good, as without the CSS you
get no sense of the meaning of the inner <div>.
Information Manager, Oxford University Computing Services
13 Banbury Road, Oxford OX2 6NN. Phone +44 1865 283431
OSS Watch: JISC Open Source Advisory Service