This is a note to self: the TEI rendering of ODD to HTML documentation has screwed-up whitespace inside the egXML elements. The solution is to add this to the CSS:

div.pre{
  white-space: pre-line;
}

This should probably be added into the TEI Stylesheets, via a ticket. Took me a while to figure it out.