Added new color theme to the leaderboard

app.py

@@ -85,7 +85,13 @@ def create_task_controls(tab_id):
     return shown_tasks
 
 
-demo = gr.Blocks(css=CSS, theme=gr.themes.Default(font=[gr.themes.GoogleFont("Inconsolata"), "Arial", "sans-serif"]))
+theme = gr.themes.Default(
+    primary_hue="blue",
+).set(
+    button_border_width='*block_border_width'
+)
+
+demo = gr.Blocks(css=CSS, theme=theme)
 with demo:
     gr.HTML(TITLE)
     gr.Markdown(