CSS Draft 8/95: prioritised fount lists

Thore Husfeldt writes:

 > I propose to change the value of "font" to
 > 	[ size [/leading] family [weight] [style] ]+
 > very much like the value of "font-family." This would allow the following:
 >     font = 
 > 	12pt/14pt bembo demi-bold
 > 	12pt/12pt new-century-schoolbook
 > 	12pt/14pt times 
 > Note that this is a very slight change indeed.

It's a slight change in syntax, but a major change in functionality.
You propose to group a set of properties and only apply the values if
all of them can successfully be set. The basic problem is: how do you
define success? One example: the style sheet requests font-family
Univers, but the renderer only has Helvetica (which is almost
identical) and proposes to substitute. Is this a success, or should
the styler move on to the next group?



Hakon W Lie, W3C/INRIA, Sophia-Antipolis, France

Follow-Ups: References: