Update app.py

app.py

@@ -103,12 +103,15 @@ def update_metrics(selected_benchmarks):
         updated_metrics.update(benchmark_metric_mapping.get(benchmark, []))
     return list(updated_metrics)
 
-
 def update_leaderboard(selected_methods, selected_metrics):
-    df = get_baseline_df(selected_methods, selected_metrics)
-    df = df.applymap(lambda x: round(x, 4) if isinstance(x, (int, float)) else x)
-    df['Method'] = df['Method'].apply(format_method)
-    return df
+    df = get_baseline_df(selected_methods, selected_metrics).round(4)
+    styler = (
+        df.style
+        .applymap(style_method, subset=["Method"])
+        .apply(highlight_top5, axis=0)
+        .format(precision=4)
+    )
+    return styler
 
 
 def format_method(name: str) -> str: