Fixed column_width in the table with tasks abbreviations

app.py

@@ -146,15 +146,9 @@ def fetch_model_detail(submission_id):
 def change_leaderboard_category(category):
     if category == leaderboard_server.TASKS_CATEGORY_OVERALL:
         task_abbreviation_legend = gr.update(
-            value=None,
-            headers=None,
             visible=False,
         )
     else:
-        task_abbreviation_legend_head = [
-            "task abbreviation",
-            "task name",
-        ]
         task_abbreviation_legend_body = []
         
         abbreviation2name = leaderboard_server.CATEGORY_TO_TASK_ABBREVIATION_TO_NAME[category]
@@ -163,7 +157,6 @@ def change_leaderboard_category(category):
         
         task_abbreviation_legend = gr.update(
             value=task_abbreviation_legend_body,
-            headers=task_abbreviation_legend_head,
             visible=True,
         )
     
@@ -287,7 +280,11 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
                 with gr.Row():
                     results_table_legend = gr.DataFrame(
                         value=None,
-                        headers=None,
+                        headers=[
+                            "task abbr.", # "task abbreviation"
+                            "task name",
+                        ],
+                        column_widths=["150px"],
                         datatype="str",
                         label=None,
                         visible=False,