Update app.py

app.py

@@ -21,6 +21,12 @@ HF_TOKEN = os.environ.get("HF_TOKEN")
 block = gr.Blocks()
 api = HfApi(token=HF_TOKEN)
 
+custom_css = """
+.tab-buttons button {
+    font-size: 20px;
+}
+"""
+
 hivex_envs = [
     {
         "title": "Wind Farm Control",
@@ -154,7 +160,7 @@ def get_data(rl_env, task, path) -> pd.DataFrame:
 
 run_update_dataset()
 
-block = gr.Blocks()
+block = gr.Blocks(css=custom_css)
 with block:
     with gr.Row(elem_id="header-row"):
         # TITLE + "<p>Total models: " + str(len(HARD_LEADERBOARD_DF))+ "</p>"