[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Musings on the font-encoding property
From: |
Werner LEMBERG |
Subject: |
Re: Musings on the font-encoding property |
Date: |
Wed, 29 Mar 2023 13:46:37 +0000 (UTC) |
> 1. Look up `font-family`. If it's `music`, then use the music font,
> otherwise use a text font as appropriate for the `font-family`.
I'm all for your changes. AFAICS, the only limitation is that an
ordinary text font with a family name 'music' cannot be used. I think
we can live with that.
Werner