Pull the term 'maximum allowed codepoint' into a definition so I don't repeat myself.

Author: tabatkins

css3-syntax/Overview.html

@@ -565,6 +565,11 @@ <h4 id=definitions><span class=secno>3.4.2. </span> Definitions</h4>
 
    <dd>A <a href="#newline"><i>newline</i></a>, U+0009 CHARACTER TABULATION,
     or U+0020 SPACE.
+
+   <dt><dfn id=maximum-allowed-codepoint>maximum allowed codepoint</dfn>
+
+   <dd>The greatest codepoint defined by Unicode. This is currently U+10FFFF.
+    
   </dl>
 
   <h4 id=data-state><span class=secno>3.4.3. </span> <dfn id=data-state0>Data
@@ -1765,9 +1770,10 @@ <h4 id=consume-an-escaped-character><span class=secno>3.4.25. </span> <dfn
     href="#next-input-character"><i>next input character</i></a> is <a
     href="#whitespace"><i>whitespace</i></a>, consume it as well. Interpret
     the <a href="#hex-digit"><i>hex digits</i></a> as a hexadecimal number.
-    If this number is greater than the current maximum allowed codepoint in
-    Unicode (currently U+10FFFF), return U+FFFD REPLACEMENT CHARACTER.
-    Otherwise, return the character with that codepoint.
+    If this number is greater than the <a
+    href="#maximum-allowed-codepoint"><i>maximum allowed codepoint</i></a>,
+    return U+FFFD REPLACEMENT CHARACTER. Otherwise, return the character with
+    that codepoint.
 
    <dt>anything else
 
@@ -1788,8 +1794,8 @@ <h4 id=set-the-unicode-range-tokens-range><span class=secno>3.4.26. </span>
    might be defined, and both are non-negative integers.
 
   <p> If the <a href="#start-of-the-range"><i>start of the range</i></a> is
-   greater than the current maximum allowed codepoint in Unicode (currently
-   U+10FFFF), the unicode-range token's range is empty.
+   greater than the <a href="#maximum-allowed-codepoint"><i>maximum allowed
+   codepoint</i></a>, the unicode-range token's range is empty.
 
   <p> If the <a href="#end-of-the-range"><i>end of the range</i></a> is
    defined, and it is less than the <a href="#start-of-the-range"><i>start of
@@ -1801,12 +1807,14 @@ <h4 id=set-the-unicode-range-tokens-range><span class=secno>3.4.26. </span>
    range</i></a>.
 
   <p> Otherwise, if the <a href="#end-of-the-range"><i>end of the
-   range</i></a> is greater than the current maximum allowed codepoint in
-   Unicode, change it to the current maximum allowed codepoint. The
-   unicode-range token's range is all characters between the character whose
-   codepoint is the <a href="#start-of-the-range"><i>start of the
-   range</i></a> and the character whose codepoint is the <a
-   href="#end-of-the-range"><i>end of the range</i></a>. <!--
+   range</i></a> is greater than the <a
+   href="#maximum-allowed-codepoint"><i>maximum allowed codepoint</i></a>,
+   change it to the <a href="#maximum-allowed-codepoint"><i>maximum allowed
+   codepoint</i></a>. The unicode-range token's range is all characters
+   between the character whose codepoint is the <a
+   href="#start-of-the-range"><i>start of the range</i></a> and the character
+   whose codepoint is the <a href="#end-of-the-range"><i>end of the
+   range</i></a>. <!--
 PPPPPPPPPPPPPPPPP        AAA               RRRRRRRRRRRRRRRRR      SSSSSSSSSSSSSSS EEEEEEEEEEEEEEEEEEEEEERRRRRRRRRRRRRRRRR   
 P::::::::::::::::P      A:::A              R::::::::::::::::R   SS:::::::::::::::SE::::::::::::::::::::ER::::::::::::::::R  
 P::::::PPPPPP:::::P    A:::::A             R::::::RRRRRR:::::R S:::::SSSSSS::::::SE::::::::::::::::::::ER::::::RRRRRR:::::R 
@@ -2192,6 +2200,9 @@ <h2 class=no-num id=index> Index</h2>
    <li>lowercase letter, <a href="#lowercase-letter"
     title="lowercase letter"><strong>3.4.2.</strong></a>
 
+   <li>maximum allowed codepoint, <a href="#maximum-allowed-codepoint"
+    title="maximum allowed codepoint"><strong>3.4.2.</strong></a>
+
    <li>name character, <a href="#name-character"
     title="name character"><strong>3.4.2.</strong></a>
 

css3-syntax/Overview.src.html

@@ -362,6 +362,9 @@ <h4>
 		<dt><dfn>whitespace</dfn>
 		<dd>A <i>newline</i>, U+0009 CHARACTER TABULATION, or U+0020 SPACE.
 
+		<dt><dfn>maximum allowed codepoint</dfn>
+		<dd>The greatest codepoint defined by Unicode.  This is currently U+10FFFF.
+
 	</dl>
 
 <h4>
@@ -1785,7 +1788,7 @@ <h4>
 			consume it as well.
 			Interpret the <i>hex digits</i> as a hexadecimal number.
 			If this number is greater than 
-			the current maximum allowed codepoint in Unicode (currently U+10FFFF),
+			the <i>maximum allowed codepoint</i>,
 			return U+FFFD REPLACEMENT CHARACTER.
 			Otherwise, return the character with that codepoint.
 
@@ -1809,7 +1812,7 @@ <h4>
 
 	<p>
 		If the <i>start of the range</i> is greater than
-		the current maximum allowed codepoint in Unicode (currently U+10FFFF),
+		the <i>maximum allowed codepoint</i>,
 		the unicode-range token's range is empty.
 
 	<p>
@@ -1825,8 +1828,8 @@ <h4>
 	<p>
 		Otherwise,
 		if the <i>end of the range</i> is greater than
-		the current maximum allowed codepoint in Unicode,
-		change it to the current maximum allowed codepoint.
+		the <i>maximum allowed codepoint</i>,
+		change it to the <i>maximum allowed codepoint</i>.
 		The unicode-range token's range
 		is all characters between
 		the character whose codepoint is the <i>start of the range</i>