Customizable tooltip font

[Wuzzy2]

Problem

Games can set the font type for all formspec elements, for example with style_type[*;font=mono], every font in all formspec elements turns to mono.

With one major exception: Tooltips. Tooltips always use the normal sand-serif font.

Solutions

Add a new way for mods to specify a font type for tooltips. This could be done by adding a new style_type.

I wish that it will affect all tooltips, no matter if hovering an item or if generated by a tooltip[] formspec element. Consistency is important.

Alternatives

Instead of extending style_type, add a special formspec element like listcolors (which currently allows customization of tooltip colors, despite its name) that only does tooltip stuff.

I like this idea less.

Additional context

No response