Font in HTML5 is different to exe (sort of solved)

Godot Version

4.2.2

Question

I’m using a RichTextLabel. I haven’t changed the Theme, or made any overrides.
In my code, I add a check (tick) to the text in this box, ie “:heavy_check_mark:”. This works when running in Godot, or when exporting to Windows exe.
However, when I export my project to HTML5, and run it in Chrome or Edge, my code adds a different symbol (2714 in a box): 2714

This raises lots of questions:

  • Does the font depend on the browser?
  • Shouldn’t Godot provide a font?
  • Do I have to override the font to ensure the symbol I’m adding is what I think it is?
  • Can I use a system font, or will that then depend again on the browser, or system?
  • Do I have to provide a font file?
  • What font does Godot use when running in Godot, or in Windows exe?

Thanks for any advice

edits:
I’ve discovered that alt-2714 is the code for the checkmark
Apparently Godot uses Open Sans SemiBold by default - having that font in the project files and specifying it as the font to use doesn’t change anything - the font isn’t being rendered correctly in the browser.
I’ve discovered that HTML5 not displaying emojiis is a known issue: 78921, 91111
So I guess I have to override the font.
I found this list of fonts with a checkmark of which cadman looks ok. It does render correctly in a browser (Chrome at least).
Now I have to work out how to change ALL the fonts to this!