- From: Simon Pieters <simonp@opera.com>
- Date: Sat, 01 Sep 2007 18:37:48 +0200
- To: public-html <public-html@w3.org>
(This is part of my detailed review of the Writing HTML documents section.) The spec has the following note: Note: Space characters before the root html element will be dropped when the document is parsed; space characters after the root html element will be parsed as if they were at the end of the html element. Thus, space characters around the root element do not round-trip. It is suggested that newlines be inserted after the DOCTYPE and any comments that aren't in the root element. This is not correct; space characters after the root html element will be parsed as if they were at the end of the *body* element. Also, if you insert newlines after comments that occur after the root element then you will increase the number of newlines in the body element for each round-trip. The rest of this section goes to great lengths to make sure that whitespace round-trips correctly, so perhaps this suggestion should be limited to comments before the root element to be consistent. -- Simon Pieters Opera Software
Received on Saturday, 1 September 2007 16:37:59 UTC