To the W3C HTML working group,
I have some reservations regarding some of the suggestions in
the working draft on "HTML and
Style" sheets that I would like to point out to you. This is regarding
the MEDIA attribute of the style and
link elements. The document recommends that
"To enable extensions to be introduced smoothly, user agents conforming
to this specification must be
able to parse the media type attribute value as follows:
1. Comma characters ....
media = " screen, 3d-glasses, print and resolution > 90dpi "
......
This could also be a part of @media rule of a style sheet i.e.
something like
@media screen, 3d-glasses, print and resolution > 90dpi {
BODY { font-size: 10pt }
}
The problem is that the current tokenizer for CSS does not recognize
Identifiers that start
with a numerical digit. Thus 3d-glasses would be recognized as not a
single token
but as two tokens i.e. Integer (3) and an Identifier (d-glasses). I
think that introducing
Identifiers that start with a digit is not a good idea as it would
involve making changes
to existing lexical analyzers.
Sincerely,
Deepak Goyal
--
t-dgoyal@microsoft.com