tweak font sizes and presentation of leaderboard