[css-syntax] DOM has a better definition of 'case-sensitive', so I can delete ours.

Author: tabatkins

css-syntax/Overview.bs

@@ -1956,21 +1956,6 @@ Definitions</h3>
 			The next time an algorithm instructs you to <a>consume the next input token</a>,
 			instead do nothing
 			(retain the <a>current input token</a> unchanged).
-
-		<dt><dfn export lt="case-sensitive|case-sensitively">case-sensitive</dfn>
-		<dd>
-			When two strings are to be matched case-sensitively,
-			this means they must be identical <a>code point</a> for code point.
-
-		<dt><dfn export lt="ASCII case-insensitive|ASCII case-insensitively">ASCII case-insensitive</dfn>
-		<dd>
-			When two strings are to be matched ASCII case-insensitively,
-			temporarily convert both of them to ASCII lower-case form
-			by adding 32 (0x20) to the value of each <a>code point</a> between
-			U+0041 LATIN CAPITAL LETTER A (A)
-			and U+005A LATIN CAPITAL LETTER Z (Z),
-			inclusive,
-			and check if they are a <a>case-sensitive</a> match.
 	</dl>
 
 <!--