On Sun, Nov 22, 2009 at 07:47:52PM +0100, Thomas Keller wrote: > > correct padding afterwards. And the CSS box model already takes care of > proper indentation on different levels, because the margins of all outer > boxes add up.
I didn't caught this one. Ok, this cannot be done with <pre> since <pre> cannot be nested, but then maybe the table could be replaced by a <div> with the space indentation css? This seems to me to be the right solution, I'll certainly implement it as the default with the old behaviour being switched on by a variable. (still useful in html3.2, for example). -- Pat
