Update app.py

app.py

@@ -106,10 +106,11 @@ def update_metrics(selected_benchmarks):
 def update_leaderboard(selected_methods, selected_metrics):
     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)
+        df
+        .style
+        .applymap(style_method, subset=["Method"])  # text colours
+        .apply(highlight_top5, axis=0)              # green shades
+        .format(precision=4)                        # keep tidy numbers
     )
     return styler