/* Leaderboard presentation is defined in main.css. */