Question on parsing of "font" property

I was asked what the right parsing of the following CSS is:

   font: 10px /2 Times;

(note the space before the '/'), and it seems to me that this could be 
parsed as either:

   font-size: 10px;
   font-family: /2 Times;

or

   font-size: 10px;
   line-height: 2;
   font-family: Times;

Both look to be valid, no?

-Boris

Received on Tuesday, 18 May 2004 21:18:51 UTC