> 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
