Update src/display/css_html_js.py
Browse files
src/display/css_html_js.py
CHANGED
|
@@ -5,6 +5,14 @@ custom_css = """
|
|
| 5 |
line-height: 1.6 !important;
|
| 6 |
}
|
| 7 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 8 |
|
| 9 |
|
| 10 |
/* Enhanced Leaderboard table styling */
|
|
|
|
| 5 |
line-height: 1.6 !important;
|
| 6 |
}
|
| 7 |
|
| 8 |
+
.gradio-container .contain .tab-buttons button {
|
| 9 |
+
font-size: 14px !important;
|
| 10 |
+
}
|
| 11 |
+
|
| 12 |
+
|
| 13 |
+
.gradio-container.gradio-container-5-43-1 .contain .tab-buttons button {
|
| 14 |
+
font-size: 14px !important;
|
| 15 |
+
}
|
| 16 |
|
| 17 |
|
| 18 |
/* Enhanced Leaderboard table styling */
|