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."
|