> > Spaces should not be honored ANYWHERE except in <pre> </pre> tags, > and that's still not required, just "proper" to do. >
The problem is that the information of <pre> environment is lacking in the plucker .pdb file. So the solution will be 1. Believe that the spaces are already properly removed in the parser and remaining spaces are intentionally left unremoved. 2. Introduce an extra information to express the <pre> region. Inside the <pre> region, all the spaces will be preserved. I think the latter is the "right" solution, because plucker document will be browsed in the near future on another environment where much more fonts are available and we can choose fixed width font for it. Another solution is 3. Ignore it. Say plucker cannot render source listing properly.
