[css-syntax] Add a proper definition of surrogate code point.

Author: SimonSapin

css-syntax/Overview.html

@@ -727,6 +727,11 @@ <h3 data-level=4.2 id=definitions0><span class=secno>4.2 </span><span class=cont
 		<dt><dfn data-dfn-type=dfn id=whitespace>whitespace</dfn>
 		<dd>A <a href=#newline>newline</a>, U+0009 CHARACTER TABULATION, or U+0020 SPACE.
 
+		<dt><dfn data-dfn-type=dfn id=surrogate-code-point>surrogate code point</dfn>
+		<dd>
+			A <a href=#code-point>code point</a> between U+D800 and U+DFFF inclusive.
+			See <a href=http://www.unicode.org/glossary/#surrogate_code_point>Unicode surrogate code point</a>.
+
 		<dt><dfn data-dfn-type=dfn id=maximum-allowed-code-point>maximum allowed code point</dfn>
 		<dd>The greatest <a href=#code-point>code point</a> defined by Unicode.  This is currently U+10FFFF.
 
@@ -1314,15 +1319,11 @@ <h4 data-level=4.3.7 id=consume-an-escaped-code-point><span class=secno>4.3.7 </
 			consume it as well.
 			Interpret the <a href=#hex-digit>hex digits</a> as a hexadecimal number.
 			If this number is zero,
-			or is between U+D800 and U+DFFF inclusive,
+			or is for a <a href=#surrogate-code-point>surrogate code point</a>,
 			or is greater than the <a href=#maximum-allowed-code-point>maximum allowed code point</a>,
 			return U+FFFD REPLACEMENT CHARACTER (�).
 			Otherwise, return the <a href=#code-point>code point</a> with that value.
 
-			<p class=note>
-				U+D800 to U+DFFF are the
-				<a href=http://www.unicode.org/glossary/#surrogate_code_point>surrogate code points</a>.
-
 		<dt>EOF code point
 		<dd>
 			Return U+FFFD REPLACEMENT CHARACTER (�).
@@ -3315,6 +3316,7 @@ <h2 class="no-num no-ref" id=index><span class=content>
 <li>&lt;stylesheet&gt;, <a href=#typedef-stylesheet title="section 7.1">7.1</a>
 <li>〈substring-match〉, <a href=#tokendef-substring-match title="section 4">4</a>
 <li>〈suffix-match〉, <a href=#tokendef-suffix-match title="section 4">4</a>
+<li>surrogate code point, <a href=#surrogate-code-point title="section 4.2">4.2</a>
 <li>top-level flag, <a href=#top-level-flag title="section 5.4.1">5.4.1</a>
 <li>〈unicode-range〉, <a href=#tokendef-unicode-range title="section 4">4</a>
 <li>uppercase letter, <a href=#uppercase-letter title="section 4.2">4.2</a>

css-syntax/Overview.src.html

@@ -609,6 +609,10 @@ <h3>
 		<dt><dfn>whitespace</dfn>
 		<dd>A <a>newline</a>, U+0009 CHARACTER TABULATION, or U+0020 SPACE.
 
+		<dt><dfn>surrogate code point</dfn>
+		<dd>
+			A <a>code point</a> between U+D800 and U+DFFF inclusive.
+
 		<dt><dfn>maximum allowed code point</dfn>
 		<dd>The greatest <a>code point</a> defined by Unicode.  This is currently U+10FFFF.
 
@@ -1196,15 +1200,11 @@ <h4>
 			consume it as well.
 			Interpret the <a>hex digits</a> as a hexadecimal number.
 			If this number is zero,
-			or is between U+D800 and U+DFFF inclusive,
+			or is for a <a>surrogate code point</a>,
 			or is greater than the <a>maximum allowed code point</a>,
 			return U+FFFD REPLACEMENT CHARACTER (�).
 			Otherwise, return the <a>code point</a> with that value.
 
-			<p class=note>
-				U+D800 to U+DFFF are the
-				<a href="http://www.unicode.org/glossary/#surrogate_code_point">surrogate code points</a>.
-
 		<dt>EOF code point
 		<dd>
 			Return U+FFFD REPLACEMENT CHARACTER (�).