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; } /* (2) */ .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; /* no huge gaps */ 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 { /* (4) 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; /* was 1.875rem */ 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; } /* (7) */ /* (1) Clean table: centered, auto width, only top & left bars */ .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 { font-weight: 600; color: var(--f1-text); } /* Tabs: quiet, compact, with small gap after (3) */ .f1-tabs { border: 1px solid var(--f1-border); border-radius: 8px; background: var(--f1-bg); margin-bottom: 12px; } /* small spacing below */ .f1-tabs-body { padding: 12px 14px 6px 14px; } .f1-tabs-buttons { display: flex; gap: 6px; border-top: 1px solid var(--f1-border); padding: 6px; justify-content: flex-start; } .f1-tab-btn { font: 500 13px/1 system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif; padding: 6px 10px; border-radius: 6px; border: 1px solid transparent; background: transparent; color: #374151; cursor: pointer; } .f1-tab-btn[aria-selected="true"] { background: var(--f1-bg-muted); border-color: var(--f1-border); } /* Leaderboard width helpers (6) */ #formulaone-leaderboard-tab-table .gr-column .gr-row .gr-column { width: 100% !important; } /* column -> row -> column chain */ #formulaone-leaderboard-tab-table .gr-row, #formulaone-leaderboard-tab-table .gr-column { 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 existing */ #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; } """