[css-syntax] Revert previous change, as it's not actually redundant.

--HG--
extra : rebase_source : fd8a97fb1eec524a1e9c82e0bed5435b44c440a1

Author: tabatkins

css-syntax/Overview.bs

@@ -1285,53 +1285,64 @@ Consume a url token</h4>
 
 	Note: This algorithm assumes that the initial "url(" has already been consumed.
 
-	Initially create a <<url-token>> with its value set to the empty string.
-
-	Repeatedly consume the <a>next input code point</a> from the stream:
-
-	<dl>
-		<dt>U+0029 RIGHT PARENTHESIS ())
-		<dt>EOF
-		<dd>
-			Return the <<url-token>>.
+	<ol>
+		<li>
+			Initially create a <<url-token>> with its value set to the empty string.
 
-		<dt><a>whitespace</a>
-		<dd>
+		<li>
 			Consume as much <a>whitespace</a> as possible.
-			If the <a>next input code point</a> is U+0029 RIGHT PARENTHESIS ()) or EOF,
-			consume it and return the <<url-token>>;
-			otherwise,
-			<a>consume the remnants of a bad url</a>,
-			create a <<bad-url-token>>,
-			and return it.
 
-		<dt>U+0022 QUOTATION MARK (")
-		<dt>U+0027 APOSTROPHE (&apos;)
-		<dt>U+0028 LEFT PARENTHESIS (()
-		<dt><a>non-printable code point</a>
-		<dd>
-			This is a <a>parse error</a>.
-			<a>Consume the remnants of a bad url</a>,
-			create a <<bad-url-token>>,
-			and return it.
-
-		<dt>U+005C REVERSE SOLIDUS
-		<dd>
-			If the stream <a>starts with a valid escape</a>,
-			<a>consume an escaped code point</a>
-			and append the returned <a>code point</a> to the <<url-token>>’s value.
-
-			Otherwise,
-			this is a <a>parse error</a>.
-			<a>Consume the remnants of a bad url</a>,
-			create a <<bad-url-token>>,
-			and return it.
-
-		<dt>anything else
-		<dd>
-			Append the <a>current input code point</a>
-			to the <<url-token>>’s value.
-	</dl>
+		<li>
+			If the <a>next input code point</a> is EOF,
+			return the <<url-token>>.
+
+		<li>
+			Repeatedly consume the <a>next input code point</a> from the stream:
+
+			<dl>
+				<dt>U+0029 RIGHT PARENTHESIS ())
+				<dt>EOF
+				<dd>
+					Return the <<url-token>>.
+
+				<dt><a>whitespace</a>
+				<dd>
+					Consume as much <a>whitespace</a> as possible.
+					If the <a>next input code point</a> is U+0029 RIGHT PARENTHESIS ()) or EOF,
+					consume it and return the <<url-token>>;
+					otherwise,
+					<a>consume the remnants of a bad url</a>,
+					create a <<bad-url-token>>,
+					and return it.
+
+				<dt>U+0022 QUOTATION MARK (")
+				<dt>U+0027 APOSTROPHE (&apos;)
+				<dt>U+0028 LEFT PARENTHESIS (()
+				<dt><a>non-printable code point</a>
+				<dd>
+					This is a <a>parse error</a>.
+					<a>Consume the remnants of a bad url</a>,
+					create a <<bad-url-token>>,
+					and return it.
+
+				<dt>U+005C REVERSE SOLIDUS
+				<dd>
+					If the stream <a>starts with a valid escape</a>,
+					<a>consume an escaped code point</a>
+					and append the returned <a>code point</a> to the <<url-token>>’s value.
+
+					Otherwise,
+					this is a <a>parse error</a>.
+					<a>Consume the remnants of a bad url</a>,
+					create a <<bad-url-token>>,
+					and return it.
+
+				<dt>anything else
+				<dd>
+					Append the <a>current input code point</a>
+					to the <<url-token>>’s value.
+			</dl>
+	</ol>
 
 
 <h4 id="consume-a-unicode-range-token">