Added leaderboard.less for leaderboard lists of tools