moved css out of the leaderboard html and into the style css

Important note: the style of the chart container div has to stay there,
as chartjs changes it quite massively on runtime