changing styling
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.Monochrome(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 |
|