[html5] r1298 - /

Sun Mar 2 03:13:00 PST 2008

Author: ianh
Date: 2008-03-02 03:12:56 -0800 (Sun, 02 Mar 2008)
New Revision: 1298

Modified:
   index
   source
Log:
[a] (0) doesn't much matter if </body> or </html> are followed by a space, given that spaces there will get hoisted up to the body anyway.

Modified: index
===================================================================

--- index	2008-03-02 11:08:33 UTC (rev 1297)
+++ index	2008-03-02 11:12:56 UTC (rev 1298)
@@ -37233,10 +37233,10 @@
    href="#html">html</a></code> element will be dropped when the document is
    parsed; space characters <em>after</em> the root <code><a
    href="#html">html</a></code> element will be parsed as if they were at the
-   end of the <code><a href="#html">html</a></code> element. Thus, space
+   end of the <code><a href="#body0">body</a></code> 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.
+   newlines be inserted after the DOCTYPE and any comments that are before
+   the root element.
 
   <h4 id=the-doctype><span class=secno>8.1.1 </span>The DOCTYPE</h4>
 
@@ -37583,9 +37583,8 @@
 
   <p>An <code><a href="#html">html</a></code> element's <span
    title=syntax-end-tag>end tag</span> may be omitted if the <code><a
-   href="#html">html</a></code> element is not immediately followed by a <a
-   href="#space">space character</a> or a <a href="#comments0"
-   title=syntax-comments>comment</a>.</p>
+   href="#html">html</a></code> element is not immediately followed a <a
+   href="#comments0" title=syntax-comments>comment</a>.</p>
   <!-- <head> -->
 
   <p>A <code><a href="#head">head</a></code> element's <span
@@ -37619,8 +37618,7 @@
   <p>A <code><a href="#body0">body</a></code> element's <span
    title=syntax-end-tag>end tag</span> may be omitted if the <code><a
    href="#body0">body</a></code> element is not immediately followed by a <a
-   href="#space">space character</a> or a <a href="#comments0"
-   title=syntax-comments>comment</a>. <!-- </li> -->
+   href="#comments0" title=syntax-comments>comment</a>. <!-- </li> -->
 
   <p>A <code><a href="#li">li</a></code> element's <span
    title=syntax-end-tag>end tag</span> may be omitted if the <code><a

Modified: source
===================================================================
--- source	2008-03-02 11:08:33 UTC (rev 1297)
+++ source	2008-03-02 11:12:56 UTC (rev 1298)
@@ -34750,10 +34750,10 @@
   <p class="note">Space characters before the root <code>html</code>
   element will be dropped when the document is parsed; space
   characters <em>after</em> the root <code>html</code> element will be
-  parsed as if they were at the end of the <code>html</code>
+  parsed as if they were at the end of the <code>body</code>
   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.</p>
+  DOCTYPE and any comments that are before the root element.</p>
 
 
   <h4>The DOCTYPE</h4>
@@ -35108,7 +35108,7 @@
   <!-- </html> -->
   <p>An <code>html</code> element's <span title="syntax-end-tag">end
   tag</span> may be omitted if the <code>html</code> element is not
-  immediately followed by a <span>space character</span> or a <span
+  immediately followed a <span
   title="syntax-comments">comment</span>.</p>
 
   <!-- <head> -->
@@ -35139,7 +35139,7 @@
   <!-- </body> -->
   <p>A <code>body</code> element's <span title="syntax-end-tag">end
   tag</span> may be omitted if the <code>body</code> element is not
-  immediately followed by a <span>space character</span> or a <span
+  immediately followed by a <span
   title="syntax-comments">comment</span>.
 
   <!-- </li> -->


