[css2] "@charset" does not need to be case-insensitive and does need a space after it.

bert-github · bert-github · commit 94684e2ddfb4 · 2007-09-13T04:29:27.000Z
See http://csswg.inkedblade.net/spec/css2.1@issue-3 --HG-- extra : convert_revision : svn%3A73dc7c4b-06e6-40f3-b4f7-9ed1dbc14bfc/trunk%402790
diff --git a/css2/grammar.src b/css2/grammar.src
@@ -1,6 +1,6 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN">
 <html lang="en">
-<!-- $Id: grammar.src,v 2.49 2007-07-17 03:49:06 fantasai Exp $ -->
+<!-- $Id: grammar.src,v 2.50 2007-09-13 04:29:27 bbos Exp $ -->
 <HEAD>
 <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
 <TITLE>Grammar of CSS&nbsp;2.1</TITLE>
@@ -213,7 +213,7 @@ Z		z|\\0{0,4}(5a|7a)(\r\n|[ \t\r\n\f])?|\\z
 @{I}{M}{P}{O}{R}{T}	{return IMPORT_SYM;}
 @{P}{A}{G}{E}		{return PAGE_SYM;}
 @{M}{E}{D}{I}{A}	{return MEDIA_SYM;}
-@{C}{H}{A}{R}{S}{E}{T}	{return CHARSET_SYM;}
+"@charset "		{return CHARSET_SYM;}
 
 "!"({w}|{comment})*{I}{M}{P}{O}{R}{T}{A}{N}{T}	{return IMPORTANT_SYM;}
 
