Clean up leaderboard copy and model display names

Simplify by-query-type leaderboard view

Update percent-in-SE metric and keep google-search on main board

Sync leaderboard scores

Increase page side margins

Refine main board scope and move generated timestamp

Update Hugging Face Space theme colors

Initialize SourceBench leaderboard Space