Update app.py

app.py

@@ -214,7 +214,6 @@ def build_leaderboard_tab(files):
 
 
 def build_demo(files):
-    text_size = gr.themes.sizes.text_lg
 
     with gr.Blocks(title="LIBRA leaderboard") as demo:
         build_leaderboard_tab(files)
@@ -224,4 +223,5 @@ def build_demo(files):
 if __name__ == "__main__":
     files = os.listdir("results")
     demo = build_demo(files)
+    text_size = gr.themes.sizes.text_lg
     demo.launch(theme=gr.themes.Base(text_size=text_size), share=False)