> It seems that the viewer removes the leading spaces even in <pre>
> environment, and destroys the indentation in the source listing
> protected by <pre> tags.
This is not a rule, it's a guideline. Some browsers and parsers
respect the extra spaces, some do not.
> I think the parser should remove the leading spaces of each paragraph if
> necessary, and the remaining spaces in .pdb file should not be removed
> by the viewer (except when the line is folded) because the spaces are
> intentionally left unremoved. Using nbsp is not a good idea.
Spaces should not be honored ANYWHERE except in <pre> </pre> tags,
and that's still not required, just "proper" to do.
Here's a site I found explaining some good bits of info on this:
http://www.blooberry.com/indexdot/html/topics/indent.htm
Also here:
http://www.w3.org/TR/REC-html40/struct/text.html#h-9.1
[dd]