github-actions[bot] commited on
Commit ·
717141f
1
Parent(s): 2c5bac9
Update leaderboard from GitHub main branch
Browse files
app.py
CHANGED
|
@@ -31,12 +31,19 @@ custom_css = """
|
|
| 31 |
}
|
| 32 |
/* Make leaderboard table taller with scrolling */
|
| 33 |
.leaderboard-table {
|
| 34 |
-
|
| 35 |
}
|
| 36 |
-
.leaderboard-table
|
| 37 |
-
height:
|
| 38 |
overflow-y: auto !important;
|
| 39 |
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 40 |
"""
|
| 41 |
|
| 42 |
# Initialize leaderboard data
|
|
|
|
| 31 |
}
|
| 32 |
/* Make leaderboard table taller with scrolling */
|
| 33 |
.leaderboard-table {
|
| 34 |
+
height: 700px !important;
|
| 35 |
}
|
| 36 |
+
.leaderboard-table > div {
|
| 37 |
+
height: 700px !important;
|
| 38 |
overflow-y: auto !important;
|
| 39 |
}
|
| 40 |
+
.leaderboard-table table {
|
| 41 |
+
width: 100% !important;
|
| 42 |
+
}
|
| 43 |
+
.leaderboard-table th, .leaderboard-table td {
|
| 44 |
+
padding: 12px !important;
|
| 45 |
+
min-height: 40px !important;
|
| 46 |
+
}
|
| 47 |
"""
|
| 48 |
|
| 49 |
# Initialize leaderboard data
|