/* 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; }