Commit
·
5135eea
1
Parent(s):
0de3557
Switched to old theme, and modified submit message
Browse files
app.py
CHANGED
@@ -64,7 +64,7 @@ def get_leaderboard_object(assay: str | None = None):
|
|
64 |
current_dataframe = fetch_hf_results()
|
65 |
|
66 |
# Make font size bigger using gradio theme
|
67 |
-
with gr.Blocks(theme=gr.themes.
|
68 |
timer = gr.Timer(3) # Run every 3 seconds when page is focused
|
69 |
data_version = gr.State(value=0) # Track data changes
|
70 |
|
|
|
64 |
current_dataframe = fetch_hf_results()
|
65 |
|
66 |
# Make font size bigger using gradio theme
|
67 |
+
with gr.Blocks(theme=gr.themes.Default(text_size=sizes.text_lg)) as demo:
|
68 |
timer = gr.Timer(3) # Run every 3 seconds when page is focused
|
69 |
data_version = gr.State(value=0) # Track data changes
|
70 |
|
submit.py
CHANGED
@@ -108,4 +108,4 @@ def make_submission(
|
|
108 |
anonymous=anonymous,
|
109 |
)
|
110 |
|
111 |
-
return "✅ Your submission has been received!
|
|
|
108 |
anonymous=anonymous,
|
109 |
)
|
110 |
|
111 |
+
return "✅ Your submission has been received! Your results should appear on the leaderboard within a minute."
|