[css3-syntax] Per WG resolution, 'non-ascii character' now 0x80 and above.

--HG--
extra : rebase_source : db628036128baf83abb6b81962df7beba8ab619c

Author: tabatkins

css3-syntax/Overview.html

@@ -101,7 +101,8 @@ <h2 class="no-num no-toc" id=longstatus-date>Editor's Draft 30 January
     title="Massachusetts Institute of Technology">MIT</abbr></a>, <a
     href="http://www.ercim.eu/"><abbr
     title="European Research Consortium for Informatics and Mathematics">ERCIM</abbr></a>,
-    <a href="http://www.keio.ac.jp/">Keio</a>), All Rights Reserved. W3C <a
+    <a href="http://www.keio.ac.jp/">Keio</a>, <a
+    href="http://ev.buaa.edu.cn/">Beihang</a>), All Rights Reserved. W3C <a
     href="http://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer">liability</a>,
     <a
     href="http://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks">trademark</a>
@@ -1321,8 +1322,8 @@ <h3 id=definitions><span class=secno>4.3. </span> Definitions</h3>
 
    <dt><dfn id=non-ascii-character>non-ASCII character</dfn>
 
-   <dd> A character with a codepoint equal to or greater than U+00A0 NO-BREAK
-    SPACE.
+   <dd> A character with a codepoint equal to or greater than U+0080
+    &lt;control>.
 
    <dt><dfn id=name-start-character>name-start character</dfn>
 

css3-syntax/Overview.src.html

@@ -522,7 +522,7 @@ <h3>
 
 		<dt><dfn>non-ASCII character</dfn>
 		<dd>
-			A character with a codepoint equal to or greater than U+00A0 NO-BREAK SPACE.
+			A character with a codepoint equal to or greater than U+0080 &lt;control>.
 
 		<dt><dfn>name-start character</dfn>
 		<dd>