minor style improvements for the leaderboard