W3C home > Mailing lists > Public > www-style@w3.org > July 2015

Re: [css-fonts] "system" generic font name

From: Michiel Bijl <michiel@agosto.nl>
Date: Wed, 15 Jul 2015 10:18:05 +0200
Cc: Jonathan Kew <jfkthame@gmail.com>, www-style@w3.org
Message-Id: <FF8599B4-49E9-4810-9CDD-4F9BAB1FBB5A@agosto.nl>
To: "L. David Baron" <dbaron@dbaron.org>
Wouldn’t a dash notation make more sense in the grammer of CSS?

button {
  font-size: system-menu;
  font-family: system-caption;
}

—Michiel

> On 15 Jul 2015, at 10:11, L. David Baron <dbaron@dbaron.org> wrote:
> 
> On Wednesday 2015-07-15 08:16 +0100, Jonathan Kew wrote:
>> On 15/7/15 07:09, Sebastian Zartner wrote:
>>>> Per David's email, don't you also need a way to set font size/weight etc to
>>>> values that match system usage? And isn't the 'font' property the best way
>>>> to do this?
>>>> 
>>>> 
>>>> Not at this point. Or, more accurately, not with this proposal. We just want
>>>> to match the family.
>>> 
>>> FWIW that would be easily doable by allowing to set the new keyword on
>>> the other longhands like font-size, font-weight, font-style, etc.
>> 
>> Not if the OS uses various sizes or styles of its "system font" for
>> different elements. Are menu items, window titles, icon captions, alert
>> messages, ..., all displayed with the same size? If not, how would
>> 
>>  font-size:system;
>> 
>> decide what to do?
> 
> It could, however, be a functional notation like:
> 
>  font-size: system(menu);
> 
> or
> 
>  font-family: system(caption);
> 
> which would also make it easier to explain how these shorthand
> values work (although in a slightly different way from the way Gecko
> does it).
> 
> -David
> 
> -- 
> 𝄞   L. David Baron                         http://dbaron.org/ <http://dbaron.org/>   𝄂
> 𝄢   Mozilla                          https://www.mozilla.org/ <https://www.mozilla.org/>   𝄂
>             Before I built a wall I'd ask to know
>             What I was walling in or walling out,
>             And to whom I was like to give offense.
>               - Robert Frost, Mending Wall (1914)


Received on Wednesday, 15 July 2015 08:19:23 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:52:18 UTC