Spaces:
Running
Running
| /* SelectArena leaderboard. Colors are tokens so light and dark mode stay in sync with the | |
| generated pages in data/ (they use the same palette). */ | |
| :root { | |
| --fg: #1f2328; | |
| --muted: #59636e; | |
| --bg: #ffffff; | |
| --surface: #f6f8fa; | |
| --line: #d1d9e0; | |
| --accent: #0072b2; | |
| --accent-soft: #e6f1f8; | |
| --validity: #d55e00; | |
| --on-accent: #ffffff; | |
| --radius: 10px; | |
| } | |
| @media (prefers-color-scheme: dark) { | |
| :root { | |
| --fg: #e6edf3; | |
| --muted: #9198a1; | |
| --bg: #0d1117; | |
| --surface: #151b23; | |
| --line: #3d444d; | |
| --accent: #4aa3df; | |
| --accent-soft: #10273a; | |
| --validity: #f08a4b; | |
| --on-accent: #0d1117; | |
| } | |
| } | |
| * { box-sizing: border-box; } | |
| html { -webkit-text-size-adjust: 100%; } | |
| body { | |
| margin: 0; | |
| background: var(--bg); | |
| color: var(--fg); | |
| font: 15px/1.55 system-ui, -apple-system, "Segoe UI", Roboto, sans-serif; | |
| } | |
| a { color: var(--accent); } | |
| .page { max-width: 1200px; margin: 0 auto; padding: 24px 16px 48px; } | |
| /* Header */ | |
| .brand { display: flex; align-items: center; gap: 16px; margin-bottom: 12px; } | |
| .brand .logo { width: 92px; height: auto; flex: none; } | |
| .brand > div { min-width: 0; flex: 1; } | |
| .brand .subtitle { margin: 2px 0 0; overflow-wrap: anywhere; } | |
| .header h1 { font-size: 2.1rem; line-height: 1.15; margin: 0; letter-spacing: -0.015em; } | |
| @media (max-width: 640px) { | |
| .brand { gap: 12px; } | |
| .brand .logo { width: 64px; } | |
| .header h1 { font-size: 1.7rem; } | |
| } | |
| .header h1 .mark { color: var(--accent); } | |
| .subtitle { margin: 4px 0 12px; color: var(--muted); font-size: 1.05rem; } | |
| .facts { display: flex; flex-wrap: wrap; gap: 6px; margin: 0; padding: 0; list-style: none; } | |
| .facts li { | |
| font-size: 0.8rem; padding: 2px 10px; border-radius: 999px; | |
| border: 1px solid var(--line); color: var(--muted); | |
| } | |
| .links { display: flex; flex-wrap: wrap; gap: 16px; margin-top: 10px; font-size: 0.95rem; } | |
| .intro { max-width: 75ch; color: var(--fg); margin: 16px 0 8px; } | |
| /* Tabs */ | |
| .tabs { | |
| display: flex; gap: 2px; margin: 20px 0 16px; border-bottom: 1px solid var(--line); | |
| overflow-x: auto; scrollbar-width: none; | |
| } | |
| .tabs button { | |
| font: inherit; font-weight: 600; color: var(--muted); background: none; border: 0; | |
| padding: 10px 14px; border-bottom: 2px solid transparent; margin-bottom: -1px; | |
| cursor: pointer; white-space: nowrap; | |
| } | |
| .tabs button[aria-selected="true"] { color: var(--fg); border-bottom-color: var(--accent); } | |
| .tabs button:hover { color: var(--fg); } | |
| .tabs button:focus-visible, .chip:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; } | |
| [role="tabpanel"][hidden] { display: none; } | |
| /* Selection controls */ | |
| .controls { | |
| display: grid; gap: 12px; padding: 14px 16px; margin-bottom: 14px; | |
| background: var(--surface); border: 1px solid var(--line); border-radius: var(--radius); | |
| } | |
| .control { display: grid; grid-template-columns: 150px 1fr; align-items: center; gap: 10px; } | |
| .control-label { font-size: 0.85rem; font-weight: 600; color: var(--muted); } | |
| .chips { display: flex; flex-wrap: wrap; gap: 6px; } | |
| .chip { | |
| font: inherit; font-size: 0.85rem; color: var(--fg); background: var(--bg); | |
| border: 1px solid var(--line); border-radius: 999px; padding: 3px 12px; cursor: pointer; | |
| } | |
| .chip:hover { border-color: var(--accent); } | |
| .chip[aria-pressed="true"] { background: var(--accent); border-color: var(--accent); color: var(--on-accent); } | |
| .chip:disabled { opacity: 0.4; cursor: not-allowed; } | |
| @media (max-width: 640px) { | |
| .control { grid-template-columns: 1fr; gap: 6px; } | |
| } | |
| .summary { margin: 0 0 10px; color: var(--muted); font-size: 0.95rem; } | |
| .summary strong { color: var(--fg); } | |
| .caption { font-size: 0.88rem; color: var(--muted); max-width: 95ch; margin: 6px 0 22px; } | |
| .caption .stab { color: var(--accent); font-weight: 600; } | |
| .caption .val { color: var(--validity); font-weight: 600; } | |
| .frame { width: 100%; border: 0; display: block; } | |
| .notice { | |
| padding: 18px; border: 1px dashed var(--line); border-radius: var(--radius); | |
| color: var(--muted); margin: 8px 0 16px; | |
| } | |
| h2 { font-size: 1.2rem; margin: 26px 0 8px; } | |
| h3 { font-size: 1rem; margin: 20px 0 6px; color: var(--muted); } | |
| .prose { max-width: 80ch; } | |
| .prose li { margin: 4px 0; } | |
| code { font-size: 0.88em; background: var(--surface); padding: 1px 5px; border-radius: 4px; } | |
| /* Footer */ | |
| footer { margin-top: 36px; border-top: 1px solid var(--line); padding-top: 12px; } | |
| details { margin: 8px 0; } | |
| details summary { cursor: pointer; font-weight: 600; } | |
| pre { | |
| background: var(--surface); border: 1px solid var(--line); border-radius: var(--radius); | |
| padding: 12px; overflow-x: auto; font-size: 0.82rem; | |
| } | |
| .history { padding-left: 18px; } | |
| .history li { margin: 6px 0; } | |