Reduce header size
Browse files
src/display/css_html_js.py
CHANGED
|
@@ -1,4 +1,3 @@
|
|
| 1 |
-
|
| 2 |
custom_js = """
|
| 3 |
function tableLinkHack() {
|
| 4 |
// This is a hack to make the table links work
|
|
@@ -12,7 +11,6 @@ function tableLinkHack() {
|
|
| 12 |
"""
|
| 13 |
|
| 14 |
custom_css = """
|
| 15 |
-
|
| 16 |
footer {visibility: hidden}
|
| 17 |
|
| 18 |
#main {
|
|
@@ -131,6 +129,11 @@ footer {visibility: hidden}
|
|
| 131 |
color: rgb(2, 136, 209) !important;
|
| 132 |
}
|
| 133 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 134 |
@media (prefers-color-scheme: dark) {
|
| 135 |
#left-container #black-logo {
|
| 136 |
display: none;
|
|
@@ -183,7 +186,6 @@ footer {visibility: hidden}
|
|
| 183 |
}
|
| 184 |
}
|
| 185 |
|
| 186 |
-
|
| 187 |
"""
|
| 188 |
|
| 189 |
get_window_url_params = """
|
|
|
|
|
|
|
| 1 |
custom_js = """
|
| 2 |
function tableLinkHack() {
|
| 3 |
// This is a hack to make the table links work
|
|
|
|
| 11 |
"""
|
| 12 |
|
| 13 |
custom_css = """
|
|
|
|
| 14 |
footer {visibility: hidden}
|
| 15 |
|
| 16 |
#main {
|
|
|
|
| 129 |
color: rgb(2, 136, 209) !important;
|
| 130 |
}
|
| 131 |
|
| 132 |
+
.llm-benchmark-tab-table .table-wrap table.table th {
|
| 133 |
+
font-size: 14px; /* Smaller font size for table headers */
|
| 134 |
+
font-weight: 600; /* Semi-bold instead of full bold */
|
| 135 |
+
}
|
| 136 |
+
|
| 137 |
@media (prefers-color-scheme: dark) {
|
| 138 |
#left-container #black-logo {
|
| 139 |
display: none;
|
|
|
|
| 186 |
}
|
| 187 |
}
|
| 188 |
|
|
|
|
| 189 |
"""
|
| 190 |
|
| 191 |
get_window_url_params = """
|