Update app.py

app.py

@@ -285,10 +285,11 @@ div[class*="gradio-container"] .md *
 introduction_text = """
 
 """
+favicon_head = '<link rel="icon" type="image/x-icon" href="/file=favicon.ico">'
 
 # with gr.Blocks(title="Sahara Leaderboard", css=custom_css) as demo:
 # with gr.Blocks(title="Sahara Leaderboard") as demo:
-with gr.Blocks(theme=gr.themes.Default(), title="Sahara Benchmark Leaderboards", css=google_style_css) as demo:
+with gr.Blocks(theme=gr.themes.Default(), title="Sahara Benchmark Leaderboards", css=google_style_css, head=favicon_head) as demo:
     # Use elem_classes to apply our custom CSS to this group
     gr.HTML(new_header_html)
     # === UPDATED BUTTONS START ===