Update utils.py
Browse files
utils.py
CHANGED
@@ -6,23 +6,29 @@ def load_leaderboard(db_path):
|
|
6 |
|
7 |
return df
|
8 |
|
9 |
-
custom_css = """
|
10 |
-
h1, {
|
11 |
-
|
12 |
-
|
13 |
-
|
14 |
-
}
|
15 |
|
16 |
-
.gradio-container {
|
17 |
-
|
18 |
-
}
|
19 |
|
20 |
-
.markdown-body p {
|
21 |
-
|
22 |
-
|
23 |
-
}
|
|
|
|
|
|
|
|
|
|
|
24 |
|
25 |
-
|
26 |
-
|
|
|
27 |
}
|
28 |
-
"""
|
|
|
6 |
|
7 |
return df
|
8 |
|
9 |
+
# custom_css = """
|
10 |
+
# h1, {
|
11 |
+
# font-size: 48px !important; /* Increase heading sizes */
|
12 |
+
# line-height: 2.0 !important; /* Increase line spacing */
|
13 |
+
# text-align: center !important; /* Center align headings */
|
14 |
+
# }
|
15 |
|
16 |
+
# .gradio-container {
|
17 |
+
# padding: 30px !important; /* Increase padding around the UI */
|
18 |
+
# }
|
19 |
|
20 |
+
# .markdown-body p {
|
21 |
+
# font-size: 28px !important; /* Increase text size */
|
22 |
+
# line-height: 2.0 !important; /* More space between lines */
|
23 |
+
# }
|
24 |
+
|
25 |
+
# .gradio-container .gr-block {
|
26 |
+
# margin-bottom: 20px !important; /* Add more space between elements */
|
27 |
+
# }
|
28 |
+
# """
|
29 |
|
30 |
+
custom_css = """
|
31 |
+
#leaderboard-table th .header-content {
|
32 |
+
white-space: nowrap;
|
33 |
}
|
34 |
+
"""
|