[css2] Removed !override

bert-github · bert-github · commit 4577e1df0ecd · 1998-03-09T16:25:56.000Z
--HG--
extra : convert_revision : svn%3A73dc7c4b-06e6-40f3-b4f7-9ed1dbc14bfc/trunk%401111
diff --git a/css2/grammar.src b/css2/grammar.src
@@ -1,6 +1,6 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
 <html lang="en">
-<!-- $Id: grammar.src,v 2.8 1998-02-23 23:05:17 bbos Exp $ -->
+<!-- $Id: grammar.src,v 2.9 1998-03-09 16:25:56 bbos Exp $ -->
 <HEAD>
 <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
 <TITLE>Appendix D: The grammar of CSS2</TITLE>
@@ -114,7 +114,6 @@ declaration
   ;
 prio
   : IMPORTANT_SYM S*
-  | OVERRIDE_SYM S*
   ;
 expr
   : term [ operator term ]*
@@ -197,7 +196,6 @@ range		{h}(\?{0,5}|{h}(\?{0,4}|{h}(\?{0,3}|{h}(\?{0,2}|{h}(\??|{h})))))
 "@"{ident}		{return ATKEYWORD;}
 
 "!{w}important"		{return IMPORTANT_SYM;}
-"!{w}override"		{return OVERRIDE_SYM;}
 
 {num}em			{return EMS;}
 {num}ex			{return EXS;}
