Update app.py

app.py

@@ -192,9 +192,9 @@ with demo:
 
             print(type(leaderboard_df[shown_columns.value]))
             print(leaderboard_df[shown_columns.value]["Rank"])
-            leaderboard_df["Rank"] = leaderboard_df['Rank'].astype(str).apply(lambda x: 'NA' if x[1:-1] == '-1' else f'{int(x[1:-1]):03d}' if x[1:-1].isdigit() else x[1:-1])
-            leaderboard_df["LowSR-Rank"] = leaderboard_df['LowSR-Rank'].astype(str).apply(lambda x: 'NA' if x[1:-1] == '-1' else f'{int(x[1:-1]):03d}' if x[1:-1].isdigit() else x[1:-1])
-            leaderboard_df["HighSR-Rank"] = leaderboard_df['HighSR-Rank'].astype(str).apply(lambda x: 'NA' if x[1:-1] == '-1' else f'{int(x[1:-1]):03d}' if x[1:-1].isdigit() else x[1:-1])
+            leaderboard_df["Rank"] = leaderboard_df['Rank'].astype(str).apply(lambda x: 'NA' if x[1:-1] == '-1' else f'{int(x[1:-1]):02d}' if x[1:-1].isdigit() else x[1:-1])
+            leaderboard_df["LowSR-Rank"] = leaderboard_df['LowSR-Rank'].astype(str).apply(lambda x: 'NA' if x[1:-1] == '-1' else f'{int(x[1:-1]):02d}' if x[1:-1].isdigit() else x[1:-1])
+            leaderboard_df["HighSR-Rank"] = leaderboard_df['HighSR-Rank'].astype(str).apply(lambda x: 'NA' if x[1:-1] == '-1' else f'{int(x[1:-1]):02d}' if x[1:-1].isdigit() else x[1:-1])
             
             leaderboard_table = gr.components.Dataframe(
                 value=leaderboard_df[