custom_css = """ :root, [data-theme="light"] { --f1-text: #111827; --f1-subtle: #6b7280; --f1-border: #e5e7eb; --f1-bg: #ffffff; --f1-bg-muted: #f9fafb; } /* Readable width everywhere */ .f1-container { max-width: 800px; margin: 0 auto; padding: 0 16px; } .markdown-text { font-size: 16px !important; max-width: 800px; margin: 0 auto; } #what-is-tab { max-width: 800px; margin-left: auto; margin-right: auto; } /* keep the whole tab narrow */ #f1-examples { max-width: 800px; margin: 0 auto; } /* ensure examples stay narrow */ /* 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 name */ .f1-blockquote { border-left: 4px solid #d1d5db; padding-left: 1rem; margin-left: 0; font-style: italic; color: #4b5563; } .f1-problem-name { font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace; font-weight: 600; text-align: center; } /* ===== Clean "table" using divs (centered, not full width, only top & left borders) ===== */ .f1-grid-wrap { text-align: center; margin: 10px auto 8px auto; } .f1-grid-table { display: inline-block; /* center by shrink-to-fit */ border-top: 1px solid var(--f1-border); border-left: 1px solid var(--f1-border); background: var(--f1-bg); } .f1-grid-row { display: grid; grid-template-columns: auto auto 1fr; align-items: start; } .f1-grid-row + .f1-grid-row { border-top: 1px solid var(--f1-border); } /* horizontal separators */ .f1-grid-cell { padding: 8px 12px; text-align: left; } .f1-grid-head .f1-grid-cell { font-weight: 600; text-align: center; } /* centered headers */ /* ===== Examples card (look like the nicer previous version) ===== */ #f1-examples { border: 1px solid var(--f1-border); border-radius: 10px; background: var(--f1-bg); box-shadow: 0 1px 2px rgba(0,0,0,0.04); margin-bottom: 12px; } #f1-examples .f1-examples-title { font-weight: 700; margin: 12px 14px 4px 14px; color: var(--f1-text); font-size: 1.1rem; } /* Problem content: consistent, subtle background */ #f1-examples .f1-problem-markdown .markdown { background: var(--f1-bg-muted); border: 1px solid var(--f1-border); border-radius: 8px; padding: 16px; margin: 0 14px 6px 14px; } /* Bottom "tabs" using Radio, styled as quiet pills aligned to the bottom edge */ #f1-example-radio { border-top: 1px solid var(--f1-border); padding: 6px 8px 8px 8px; margin: 0 6px 6px; } #f1-example-radio .wrap { display: flex; gap: 6px; flex-wrap: wrap; justify-content: flex-start; } #f1-example-radio label { border: 1px solid transparent; border-radius: 999px; 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: 999px; padding: 6px 10px; } /* Leaderboard: center the whole tab and satisfy the nesting/min-width rule */ #formulaone-leaderboard-tab-table { max-width: 1200px; margin-left: auto; margin-right: auto; } /* center (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; } """