W3C home > Mailing lists > Public > www-style@w3.org > May 2004

Re: Question on parsing of "font" property

From: Andrew Fedoniouk <news@terrainformatica.com>
Date: Tue, 18 May 2004 20:03:27 -0700
Message-ID: <000d01c43d4d$dbba1cc0$0301a8c0@ATHLON>
To: "Boris Zbarsky" <bzbarsky@MIT.EDU>, <ernestcline@mindspring.com>
Cc: <www-style@w3.org>

Grammar of CSS 2.1 declares '/' as an operator which can be separated from
its terms by any (or none) number of spaces.

So declarations
font: 10px /2 Times;
font: 10px/ 2 Times;
font: 10px / 2 Times;

following formal logic shall be recognized as:

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

It is my opinion.

Andrew Fedoniouk.

----- Original Message -----
From: "Boris Zbarsky" <bzbarsky@MIT.EDU>
To: <ernestcline@mindspring.com>
Cc: <www-style@w3.org>
Sent: Tuesday, May 18, 2004 6:59 PM
Subject: Re: Question on parsing of "font" property

> Ernest Cline wrote:
> >>   font: 10px /2 Times;
> > The slash isn't a valid nmstart character so it looks like it wouldn't
> > get picked up by the tokenizer as the start of an identifier to be
> > stitched together with Times by the arcane rules of 'font-family'
> The rules of font-family are not really that arcane, as far as I can
see... the
> definition of font-family just says that certain characters must be
escaped or
> quoted; '/' is not in the list.  Past that, as far as I can tell, anything
> for font-family.
> -Boris
Received on Tuesday, 18 May 2004 23:03:41 UTC

This archive was generated by hypermail 2.3.1 : Monday, 2 May 2016 14:27:13 UTC