Fix comparison table Metric column as string

Fix table to handle string Type column

Fix numeric formatting in HTML table

Fix get_heatmap_style to handle string values

Fix f-string formatting in heatmap

Remove unsupported table_header_background_fill theme param

Fix theme parameters for Gradio 5.0 compat

Major UI overhaul with dark header, heatmaps, better typography

Initial leaderboard app