Increase font size

app.py

@@ -1,6 +1,7 @@
 import pandas as pd
 
 import gradio as gr
+from gradio.themes.utils import colors, fonts, sizes
 from gradio_leaderboard import Leaderboard
 
 from about import ABOUT_INTRO, ABOUT_TEXT, FAQS, SUBMIT_INTRUCTIONS
@@ -57,7 +58,8 @@ def get_leaderboard_object(assay: str | None = None):
 # Initialize global dataframe
 current_dataframe = fetch_hf_results()
 
-with gr.Blocks() as demo:
+# Make font size bigger using gradio theme
+with gr.Blocks(theme=gr.themes.Default(text_size=sizes.text_lg)) as demo:
     timer = gr.Timer(3)  # Run every 3 seconds when page is focused
     data_version = gr.State(value=0)  # Track data changes