I'm interested in the font used for the player names.

Thanks for your help!