Update app.py

app.py

@@ -8,7 +8,6 @@ import gradio as gr
 
 CONFIG = safe_load(open("config.yaml"))
 label_map = {'Avg':"All", "API":"Web API", "Code": "Code Function", "Customized": "Customized App"}
-
 data = defaultdict(dict)
 for setting in CONFIG['settings']:
     for data_type in CONFIG['types']:
@@ -32,6 +31,7 @@ for setting in CONFIG['settings']:
         remaining_cols = [col for col in cols if col not in first_cols]
         df = df[first_cols + remaining_cols]
         
+        # 数值格式化：对于数值列（除 Rank 列），如果最大值 <= 1 则认为是比例数据（乘以 100 后保留两位小数），否则直接保留两位小数
         numeric_cols = df.select_dtypes(include=['float', 'int']).columns
         for col in numeric_cols:
             if col != "Rank":
@@ -120,7 +120,6 @@ NUMERIC_INTERVALS = {
     ">1B": pd.Interval(1000, 1_000_000, closed='right'),
 }
 
-
 def filter_data(search_query, model_types, model_sizes):
     outputs = []
     for setting in CONFIG['settings']:
@@ -179,8 +178,12 @@ def filter_data(search_query, model_types, model_sizes):
             outputs.append(df)
     return outputs
 
+head = """
+  <link href="https://cdn.jsdelivr.net/npm/tailwindcss@2.2.19/dist/tailwind.min.css" rel="stylesheet">
+"""
+
 
-with gr.Blocks(css=css) as demo:
+with gr.Blocks(css=css, fill_width=True, theme=gr.themes.Base(), head=head ) as demo:
     gr.Markdown("""
         ## Tool-Retrieval benchmark leaderboard