small fix

app.py

@@ -10,6 +10,8 @@ from src.about import (
     CITATION_BUTTON_TEXT,
     EVALUATION_QUEUE_TEXT,
     LLM_BENCHMARKS_TEXT,
+    INTRODUCTION_TEXT,
+    TITLE,
 )
 from src.display.css_html_js import custom_css
 from src.display.utils import (
@@ -153,14 +155,19 @@ def init_leaderboard(dataframe):
 
 
 custom_css_extended = custom_css + """
+/* More specific selectors to override Gradio defaults */
+.gradio-container #libero-leaderboard th,
+#libero-leaderboard thead th,
 #libero-leaderboard th {
     font-size: 10px !important;
     font-weight: bold !important;
-    padding: 3px 6px !important;
+    padding: 6px 8px !important;
 }
+.gradio-container #libero-leaderboard td,
+#libero-leaderboard tbody td,
 #libero-leaderboard td {
-    font-size: 14px !important;
-    padding: 4px 8px !important;
+    font-size: 12px !important;
+    padding: 6px 8px !important;
 }
 #libero-leaderboard th:first-child,
 #libero-leaderboard td:first-child {

src/display/css_html_js.py

@@ -22,7 +22,7 @@ custom_css = """
 }
 
 #leaderboard-table {
-    margin-top: 15px
+    margin-top: 14px
 }
 
 #leaderboard-table-lite {