Spaces:
Runtime error
Runtime error
File size: 5,765 Bytes
0061e14 70a0e60 0061e14 005b269 1bed249 4d77847 1bed249 005b269 1bed249 70a0e60 4d77847 1bed249 70a0e60 005b269 70a0e60 1bed249 4d77847 70a0e60 1bed249 70a0e60 4d77847 1bed249 70a0e60 1bed249 4d77847 70a0e60 4d77847 1bed249 70a0e60 4d77847 1bed249 70a0e60 1bed249 70a0e60 4d77847 70a0e60 4d77847 70a0e60 4d77847 1bed249 70a0e60 1bed249 70a0e60 1bed249 005b269 4d77847 8c131f3 1bed249 8c131f3 0061e14 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 |
custom_css = """
:root, [data-theme="light"] {
--f1-text: #111827;
--f1-subtle: #6b7280;
--f1-border: #e5e7eb;
--f1-bg: #ffffff;
--f1-bg-muted: #f9fafb;
}
/* Readable width */
.f1-container { max-width: 800px; margin: 0 auto; padding: 0 16px; }
.markdown-text { font-size: 16px !important; max-width: 800px; margin: 0 auto; }
/* Paragraphs: nice wrapping */
.f1-p, .f1-li {
line-height: 1.75;
color: #374151;
text-align: left;
text-wrap: pretty;
overflow-wrap: break-word;
hyphens: auto;
word-break: normal;
}
/* Headings */
.f1-h1 { font-weight: 700; font-size: 2.25rem; line-height: 2.5rem; color: var(--f1-text); text-align: center; margin-bottom: 1.25rem !important; }
.f1-h2 { /* smaller section headings */
font-weight: 700;
border-bottom: 1px solid var(--f1-border);
padding-bottom: 0.45rem;
margin-top: 1.75rem;
margin-bottom: 0.9rem;
color: var(--f1-text);
font-size: 1.5rem;
line-height: 2rem;
}
/* Links */
.f1-a { color: #2563eb; text-decoration: none; font-weight: 500; }
.f1-a:hover { text-decoration: underline; }
/* Blockquote & problem box */
.f1-blockquote { border-left: 4px solid #d1d5db; padding-left: 1rem; margin-left: 0; font-style: italic; color: #4b5563; }
.f1-problem-box { background-color: var(--f1-bg-muted); border: 1px solid var(--f1-border); border-radius: 8px; padding: 16px; margin-top: 16px; margin-bottom: 16px; box-shadow: 0 1px 2px 0 rgb(0 0 0 / 0.04); }
.f1-problem-name { font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace; font-weight: 600; text-align: center; }
/* Clean, centered table: only top & left borders; not full width; headers centered */
.f1-table-wrap { margin: 10px auto 8px auto; text-align: center; }
.f1-table {
border-collapse: collapse;
width: auto; /* not full width */
margin: 0 auto; /* centered */
border-top: 1px solid var(--f1-border);
border-left: 1px solid var(--f1-border);
background: var(--f1-bg);
}
.f1-table th, .f1-table td {
padding: 8px 12px;
text-align: left;
vertical-align: top;
}
.f1-table th { text-align: center; } /* header cells centered */
.f1-table tr + tr td { border-top: 1px solid var(--f1-border); } /* row separators that visually keep top line only */
.f1-table td + td, .f1-table th + th { border-left: 1px solid var(--f1-border); } /* vertical grid from left border only */
/* Examples block (Gradio-based) */
#f1-examples { border: 1px solid var(--f1-border); border-radius: 8px; background: var(--f1-bg); margin-bottom: 12px; }
#f1-examples .f1-examples-title { font-weight: 700; margin: 12px 14px 4px 14px; color: var(--f1-text); font-size: 1.1rem; }
#f1-example-radio { border-top: 1px solid var(--f1-border); padding: 6px 8px; }
#f1-example-radio .wrap { display: flex; gap: 8px; flex-wrap: wrap; justify-content: flex-start; }
#f1-example-radio label { border: 1px solid transparent; border-radius: 6px; padding: 6px 10px; cursor: pointer; }
#f1-example-radio input[type="radio"]:checked + span { background: var(--f1-bg-muted); border: 1px solid var(--f1-border); border-radius: 6px; padding: 6px 10px; }
/* Leaderboard: full-width controls, nesting rule, center container */
#formulaone-leaderboard-tab-table { max-width: 1200px; margin-left: auto; margin-right: auto; } /* center the whole tab (8) */
#formulaone-leaderboard-tab-table .gr-column .gr-row .gr-column { min-width: 80% !important; } /* (7) exact chain rule */
#formulaone-leaderboard-tab-table .gr-row, #formulaone-leaderboard-tab-table .gr-column { width: 100% !important; max-width: 100% !important; }
#formulaone-leaderboard-tab-table [data-testid="dropdown"], #formulaone-leaderboard-tab-table input[type="text"] { width: 100% !important; }
/* Login button: force light */
#hf-login-btn, #hf-login-btn button, button[data-testid="login-button"], [data-testid="login-button"] button, div[data-testid="login-button"] > button {
background: #ffffff !important;
color: #1f2937 !important;
border: 1px solid var(--f1-border) !important;
box-shadow: 0 1px 2px 0 rgb(0 0 0 / 0.04) !important;
}
#hf-login-btn:hover, #hf-login-btn button:hover, button[data-testid="login-button"]:hover, [data-testid="login-button"] button:hover, div[data-testid="login-button"] > button:hover { background: #f9fafb !important; }
/* Misc retained */
#models-to-add-text { font-size: 18px !important; }
#citation-button span { font-size: 16px !important; }
#citation-button textarea { font-size: 16px !important; }
#citation-button > label > button { margin: 6px; transform: scale(1.3); }
#leaderboard-table { margin-top: 15px }
#leaderboard-table-lite { margin-top: 15px }
#search-bar-table-box > div:first-child { background: none; border: none; }
#search-bar { padding: 0px; }
#leaderboard-table td:nth-child(2), #leaderboard-table th:nth-child(2) { max-width: 400px; overflow: auto; white-space: nowrap; }
#scale-logo { border-style: none !important; box-shadow: none; display: block; margin-left: auto; margin-right: auto; max-width: 600px; }
#scale-logo .download { display: none; }
#filter_type{ border: 0; padding-left: 0; padding-top: 0; }
#filter_type label { display: flex; }
#filter_type label > span{ margin-top: var(--spacing-lg); margin-right: 0.5em; }
#filter_type label > .wrap{ width: 103px; }
#filter_type label > .wrap .wrap-inner{ padding: 2px; }
#filter_type label > .wrap .wrap-inner input{ width: 1px }
#filter-columns-type{ border:0; padding:0.5; }
#filter-columns-size{ border:0; padding:0.5; }
#box-filter > .form{ border: 0 }
"""
get_window_url_params = """
function(url_params) {
const params = new URLSearchParams(window.location.search);
url_params = Object.fromEntries(params);
return url_params;
}
"""
|