A way to pre-process space.

Because of the property "font-family" / "font" it is not possibly to 
correct preprocess the space out of the CSS stream.

Can we please make the one incompatibility and say that font-family 
names with spaces in them HAVE to be quoted and that CSS2 
implementations are allowed to fail on CSS1 style unquoted font 
names?

If you'll notice that the space stripping in this rule is 
fundamentally different from that which is stated in the core 
grammar.

Other noticed notes:
The provided yacc grammar for selector IDs seemst o suggest that they 
could start with a number, but that isn't true.

The macro for {w} at the start of the doc uses token indicator one or 
more, whereas in the grammar at the back it uses indicator zero or 
more.
__
| Mortar: Advanced Web Development <http://mortar.bigpic.com/>
| Neil St.Laurent                  <mailto:stlaurent@bigpic.com>
| Big Picture Multimedia

Received on Thursday, 11 December 1997 17:31:11 UTC