arial is perfect for easy reading but courier is better for playing with text-grid games. using a specific font for BOT nickname could solve the dilemma on which font to use.
bye