It's my own pixel font (originally created for Myst) . I'm going to keep using it for UI and use some other more appropriate font for labelling the map.
