- From: Ernest Cline <ernestcline@mindspring.com>
- Date: Tue, 18 May 2004 23:27:20 -0400
- To: "Boris Zbarsky" <bzbarsky@MIT.EDU>
- Cc: www-style@w3.org
> [Original Message] > From: Boris Zbarsky <bzbarsky@MIT.EDU> > "10px /20px Times, Helvetica" would be tokenized as: > > term(LENGTH): 10px > operator: / > term(LENGTH): 20px > operator: > term(IDENT): Times > operator: COMMA > term(ident) Helvetica > > as far as I can see. > > The question is what to do with that token stream afterwards. That operator rule was the one I was looking for and not seeing. However, the white space before the slash is hardly germane, as basically the same token stream would be produced with or without the space. It looks like there does need to be some additional verbiage for the 'font' property, but since whitespace before the / operator should not affect parsing, the value after the slash shouldn't be interpreted as anything other than a <line-height>.
Received on Tuesday, 18 May 2004 23:27:22 UTC