- From: L. David Baron <dbaron@dbaron.org>
- Date: Wed, 24 Mar 2010 16:20:47 -0400
- To: Bert Bos <bert@w3.org>
- Cc: W3C Emailing list for WWW Style <www-style@w3.org>
On Wednesday 2010-03-24 14:08 -0400, Bert Bos wrote: > I'd like to replace "identifiers" by "identifiers and/or numbers" (three > times) and remove "digits" (once), if possible. Otherwise this new text > seems correct. We need to be careful what definition of "numbers" we want here. Does it include decimal points? Sign characters (+ and -)? If it did, unquoted font-family names would be allowed to include "." and "+" if they're next to numbers but not if they're next to letters, which seems a little odd. -David -- L. David Baron http://dbaron.org/ Mozilla Corporation http://www.mozilla.com/
Received on Wednesday, 24 March 2010 20:21:17 UTC