Widen stereotype column further

app.py

@@ -211,7 +211,7 @@ with demo:
                 elem_id="leaderboard-table",
                 interactive=False,
                 visible=True,
-                column_widths=["2%", "20%", "10%", "10%", "10%"]
+                column_widths=["2%", "20%", "10%", "10%", "12%"]
             )
 
             # Dummy leaderboard for handling the case when the user uses backspace key