The bios font was identical to any PC from about 1982 onwards...
If you insist, I can add the possibility to load another :-) It's below 1 k so it would still fit in the ROM. But using the font of the graphics card is the more natural thing to do.
... Come to think of it, Topaz-80 anyone :-)
