In response to my request for a more sublte font selection scheme for
CSS, in short
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
H