Update app.py

app.py

@@ -115,20 +115,15 @@ def colour_method(name: str) -> str:
 #    darkest → lightest
 TOP5_GREENS = ["#006400", "#228B22", "#32CD32", "#7CFC00", "#ADFF2F"]
 
-def highlight_top5(col: pd.Series) -> list[str]:
-    """Return a list of CSS strings for one numeric column."""
-    # ignore non-numeric cols
+def shade_top5(col: pd.Series) -> list[str]:
+    """Return background‐colour CSS for the best 5 numeric cells of a column."""
     if not pd.api.types.is_numeric_dtype(col):
-        return [""] * len(col)
-
-    ranks = col.rank(ascending=False, method="first")  # 1 = best
-    styles = []
-    for r in ranks:
-        if r <= 5:
-            styles.append(f"background-color:{TOP5_GREENS[int(r)-1]};")
-        else:
-            styles.append("")
-    return styles
+        return [""] * len(col)          # leave non-numeric cols untouched
+    ranks = col.rank(ascending=False, method="first")
+    return [
+        f"background-color:{TOP5_GREENS[int(r)-1]};" if r <= 5 else ""
+        for r in ranks
+    ]
 
 def make_leaderboard_df(selected_methods=None, selected_metrics=None):
     """Fetch, tidy, colour, and return a Styler that Gradio will render."""