What font is used in the description of mission objectives in Quake 2 games? I understand that this is some kind of Bitmap font, but I don't know which one.