update tab

app.py

@@ -4,16 +4,9 @@ import gradio as gr
 from gen_table import *
 from meta_data import *
 
-# import pandas as pd
-# pd.set_option('display.max_colwidth', 0)
 
 
-with gr.Blocks(title="Open Agent Leaderboard", css="""
-    .gradio-container p {
-        white-space: pre-line !important;
-        margin: 0 !important;
-    }
-""") as demo:
+with gr.Blocks(title="Open Agent Leaderboard") as demo:
     struct = load_results(OVERALL_MATH_SCORE_FILE)
     timestamp = struct['time']
     EVAL_TIME = format_timestamp(timestamp)
@@ -25,10 +18,8 @@ with gr.Blocks(title="Open Agent Leaderboard", css="""
     print(DATASETS)
 
     
-    
-    with gr.Tabs() as tabs:
-        gr.Markdown(LEADERBORAD_INTRODUCTION.format(EVAL_TIME))
-
+    gr.Markdown(LEADERBORAD_INTRODUCTION.format(EVAL_TIME))
+    with gr.Tabs(elem_classes='tab-buttons') as tabs:
         with gr.Tab(label='🏅 Open Agent Overall Math Leaderboard'):
             gr.Markdown(LEADERBOARD_MD['MATH_MAIN'])
             check_box = BUILD_L1_DF(results, DEFAULT_MATH_BENCH)