:root{--bg: #0a0e0c;--surface: #111814;--surface-2: #17211b;--line: #2a3a30;--text: #dce8df;--muted: #9fb3a6;--accent: #5be49b;--open: #f2c14e;--retracted: #ff8a80;--focus: #8fd3ff;--mono: ui-monospace, "SFMono-Regular", Menlo, Consolas, "Liberation Mono", monospace;--sans: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;color-scheme:dark}*,*:before,*:after{box-sizing:border-box}html,body{margin:0;background:var(--bg);color:var(--text);font-family:var(--sans);font-size:16px;line-height:1.5}body{overflow-x:hidden}a{color:var(--accent)}kbd{font-family:var(--mono);font-size:.8em;padding:0 .35em;border:1px solid var(--line);border-bottom-width:2px;border-radius:4px;background:var(--surface-2);color:var(--text)}:focus-visible{outline:2px solid var(--focus);outline-offset:2px}.app{max-width:1360px;margin:0 auto;padding:0 24px 32px}.demo-banner{position:sticky;top:0;z-index:20;margin:0 -24px;padding:8px 24px;background:#2a2110;border-bottom:1px solid #5c4a1c;color:#ffe6a6;font-family:var(--mono);font-size:.85rem;overflow-wrap:anywhere}.demo-banner__tag{display:inline-block;padding:0 6px;margin-right:4px;border:1px solid #ffe6a6;border-radius:3px;font-weight:700}.masthead{padding:28px 0 12px;border-bottom:1px dashed var(--line)}.masthead__prompt{margin:0;font-family:var(--mono);color:var(--accent);font-size:.85rem}.masthead__title{margin:4px 0;font-family:var(--mono);font-size:clamp(1.6rem,4vw,2.4rem);letter-spacing:.04em}.masthead__sub{display:block;font-size:.45em;font-weight:400;color:var(--muted);letter-spacing:.12em;text-transform:uppercase}.masthead__lede{max-width:70ch;margin:8px 0 0;color:var(--muted)}.controls{display:grid;gap:12px;padding:16px 0}.search{display:grid;gap:4px;max-width:480px}.search__label,.chips__legend{font-family:var(--mono);font-size:.8rem;text-transform:uppercase;letter-spacing:.08em;color:var(--muted)}.search__input{width:100%;padding:10px 12px;font:inherit;font-family:var(--mono);color:var(--text);background:var(--surface);border:1px solid var(--line);border-radius:6px}.search__input::placeholder{color:#7f9488}.chips{margin:0;padding:0;border:0;min-width:0}.chips__legend{padding:0;margin-bottom:4px}.chips__row{display:flex;flex-wrap:wrap;gap:6px}.chip{font:inherit;font-family:var(--mono);font-size:.85rem;padding:6px 10px;color:var(--text);background:var(--surface);border:1px solid var(--line);border-radius:999px;cursor:pointer}.chip:hover{border-color:var(--muted)}.chip[aria-pressed=true]{background:var(--accent);border-color:var(--accent);color:#06140c;font-weight:700}.chip__count{display:inline-block;min-width:1.6em;padding:0 4px;border-radius:999px;background:#ffffff14;text-align:center}.result-count{margin:0;font-family:var(--mono);color:var(--accent)}.board{display:grid;gap:20px;align-items:start}.app--panel-open .board{grid-template-columns:minmax(0,1fr) minmax(0,420px)}.grid{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:repeat(auto-fill,minmax(260px,1fr));gap:14px;min-width:0}.grid__item{display:flex;min-width:0}.card{display:flex;flex-direction:column;gap:8px;width:100%;min-width:0;padding:14px;text-align:left;font:inherit;color:var(--text);background:var(--surface);border:1px solid var(--line);border-left:3px solid var(--accent);border-radius:8px;cursor:pointer;overflow-wrap:anywhere}.card--open{border-left-color:var(--open)}.card--retracted{border-left-color:var(--retracted)}.card:hover{background:var(--surface-2)}.card--selected{border-color:var(--focus);background:var(--surface-2)}.card__top{display:flex;justify-content:space-between;align-items:center;gap:8px;flex-wrap:wrap}.card__category,.card__meta{font-family:var(--mono);font-size:.78rem;color:var(--muted);text-transform:uppercase;letter-spacing:.06em}.card__meta{text-transform:none;margin-top:auto}.card__title{font-weight:700;font-size:1.02rem}.card__summary{color:var(--muted);font-size:.9rem}.badge{display:inline-block;padding:1px 8px;border:1px solid currentColor;border-radius:4px;font-family:var(--mono);font-size:.75rem;font-weight:700;text-transform:uppercase;letter-spacing:.06em;white-space:nowrap}.badge--solved{color:var(--accent)}.badge--open{color:var(--open)}.badge--retracted{color:var(--retracted)}.empty{padding:32px;border:1px dashed var(--line);border-radius:8px;text-align:center}.empty__title{margin:0;font-weight:700}.empty__hint{margin:4px 0 16px;color:var(--muted);font-family:var(--mono)}.button{font:inherit;font-family:var(--mono);padding:8px 14px;color:#06140c;background:var(--accent);border:0;border-radius:6px;cursor:pointer;font-weight:700}.panel{position:sticky;top:52px;max-height:calc(100vh - 68px);overflow-y:auto;min-width:0;padding:18px;background:var(--surface);border:1px solid var(--focus);border-radius:8px;overflow-wrap:anywhere}.panel__head{display:flex;justify-content:space-between;align-items:flex-start;gap:8px}.panel__eyebrow{margin:0;font-family:var(--mono);font-size:.78rem;color:var(--muted)}.panel__close{flex:none;font:inherit;font-family:var(--mono);padding:4px 10px;color:var(--text);background:var(--surface-2);border:1px solid var(--line);border-radius:6px;cursor:pointer}.panel__close-hint{font-size:.75rem;color:var(--muted)}.panel__title{margin:8px 0;font-size:1.25rem}.panel__summary,.panel__checker{margin:8px 0}.panel__h3{margin:18px 0 6px;font-family:var(--mono);font-size:.8rem;text-transform:uppercase;letter-spacing:.08em;color:var(--accent)}.retraction{margin:12px 0;padding:10px 12px;border:1px solid var(--retracted);border-radius:6px;background:#2a1414;color:#ffd0cc;font-weight:600}.method{margin:0;padding:12px;background:#060908;border:1px solid var(--line);border-radius:6px;font-family:var(--mono);font-size:.82rem;white-space:pre-wrap;overflow-wrap:anywhere;overflow-x:hidden;max-width:100%}.proof{margin-top:18px;padding:12px 14px;border:2px dashed var(--accent);border-radius:8px;background:#0d1a12}.proof--open{border-color:var(--open);background:#1c180c}.proof--retracted{border-color:var(--retracted);background:#1f1010}.proof__title{margin:0 0 8px;font-family:var(--mono);font-size:.95rem;text-transform:uppercase;letter-spacing:.1em}.proof__list{margin:0;display:grid;grid-template-columns:max-content minmax(0,1fr);gap:4px 12px;font-size:.88rem}.proof__list dt{font-family:var(--mono);color:var(--muted)}.proof__list dd{margin:0;min-width:0}.proof__hash{font-family:var(--mono);font-size:.8rem;overflow-wrap:anywhere;word-break:break-all}.proof__fine{margin:8px 0 0;font-size:.78rem;color:var(--muted)}.footer{margin-top:32px;padding-top:12px;border-top:1px dashed var(--line);font-family:var(--mono);font-size:.8rem;color:var(--muted);overflow-wrap:anywhere}@media(max-width:760px){.app{padding:0 14px 24px}.demo-banner{margin:0 -14px;padding:8px 14px}.app--panel-open .board,.grid{grid-template-columns:minmax(0,1fr)}.panel{position:fixed;top:auto;left:0;right:0;bottom:0;z-index:30;max-height:78vh;border-radius:14px 14px 0 0;border-width:1px 0 0;box-shadow:0 -12px 32px #0009}.app--panel-open{padding-bottom:80vh}.proof__list{grid-template-columns:minmax(0,1fr)}.proof__list dd{margin-bottom:6px}}@media(prefers-reduced-motion:no-preference){.card,.chip{transition:background-color .12s ease,border-color .12s ease}}