increase leaderboard table height

app.py

@@ -155,7 +155,7 @@ def update_df_with_height(df):
                      show_fullscreen_button=True,
                      line_breaks=True,
                      show_search="search",
-                     max_height=None,  # Remove height limitation
+                     # max_height=None,  # Remove height limitation - COMMENTED OUT
                      column_widths=col_widths)
 
 def update_leaderboard(mario_overall, mario_details,
@@ -515,7 +515,7 @@ def build_app():
     with gr.Blocks(css="""
         /* Fix for scrolling issues */
         html, body {
-            overflow-y: hidden !important;
+            overflow-y: auto !important;
             overflow-x: hidden !important;
             width: 100% !important;
             height: 100% !important;
@@ -588,14 +588,14 @@ def build_app():
         .table-container > div,
         .table-container > div > div {
             overflow: hidden !important;
-            max-height: none !important;
+            /* max-height: none !important; */ /* REMOVED */
         }
         
         /* Ensure table contents are visible without scrollbars */
         .gradio-dataframe,
         [data-testid="dataframe"] {
             overflow: visible !important;
-            max-height: none !important;
+            /* max-height: none !important; */ /* REMOVED */
             border: none !important;
         }
         
@@ -958,7 +958,7 @@ def build_app():
                         show_row_numbers=True,
                         show_fullscreen_button=True,
                         line_breaks=True,
-                        max_height=None,  # Remove height limitation to avoid scrollbar
+                        max_height=1000,  # Set a larger fixed height
                         show_search="search",
                         column_widths=col_widths
                     )

leaderboard_utils.py

@@ -19,7 +19,7 @@ def get_organization(model_name):
         return "anthropic"
     elif "gemini" in m:
         return "google"
-    elif "o1" in m or "gpt" in m or "o3" in m:
+    elif "o1" in m or "gpt" in m or "o3" in m or "o4" in m:
         return "openai"
     elif "deepseek" in m:
         return "deepseek"

rank_data_03_25_2025.json

@@ -322,7 +322,7 @@
         "results": [
             {
                 "model": "o3",
-                "levels_cracked": "4",
+                "levels_cracked": "5",
                 "steps": "[16, 40, 59, 110]",
                 "rank": 1
             },