* New leaderboard styling with custom table (instead of Gradio dataframe) 5d5cc81 mrfakename commited on Jan 22
