You can get custom fonts in miniMenu if they are monospaced already as the menu can handle any makecode-format font and you can build those using my Makecode Font Editor. Looking at the mini menu code it probably wouldn’t be too hard to implement fancy text, but that’s up to Richard of course and he is working on a lot right now.
The way you get the editor fonts into the mini menu requires JavaScript. You would have to create a font like let myFont = hex`[font data]` and then for every menu item in the menu you would set it’s font variable to your font. Something like this:
