Allow specifying font properties in CSS
Similar considerations as #105
On a second thought, we probably want this to apply only to the application as a whole, without giving keyboard authors the ability to change fonts (which would certainly end badly).