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

if ($me == NICKNAME) { font PARAMETERS SIZE FONTNAME }

The Font Dialog (View -> Font...) can be set per window. Problem solved?