Gilbot, I think you're right - that makes sense (I'm pretty sure it is bitmap since it really is pixel perfect - I've zoomed in on a screenshot in PhotoShop. If it was just resolution, there wouldn't be any difference except the drawn size, would there?).
I suspect there's no other way to extract the bitmap font other than copy-pasting it char by char into an SCI font then?
I suspect there's no other way to extract the bitmap font other than copy-pasting it char by char into an SCI font then?