JSJitsu/ai-battle-website 2 merged

• Improve scrolling performance Jul 23
• Truncate player roster names Jul 23

Asuza/firewut 1 merged

• Firefox compatibility Jul 9