:root{--paper:#f5f7f9;--surface:#fff;--ink:#14213d;--muted:#56627a;--rule:#dce2ea;--grid:#e9edf2;--accent:#2450b8;--accent-soft:#e4ebf8;--gold:#d99a00;--gold-soft:#f6e7bd;--mark-off:#d5dbe4;--serif:"Spectral",Georgia,serif;--sans:"Public Sans",system-ui,sans-serif;--buncss-light:initial;--buncss-dark: ;color-scheme:light}@media (prefers-color-scheme:dark){:root{--paper:#0f1626;--surface:#152036;--ink:#e6ebf3;--muted:#9aa6bc;--rule:#26324a;--grid:#172238;--accent:#8fb0ff;--accent-soft:#1f2d4d;--gold:#f2b705;--gold-soft:#3a3016;--mark-off:#2c3a55;--buncss-light: ;--buncss-dark:initial;color-scheme:dark}}*,*:before,*:after{box-sizing:border-box}body{background-color:var(--paper);background-image:linear-gradient(var(--grid)1px,transparent 1px),linear-gradient(90deg,var(--grid)1px,transparent 1px);color:var(--ink);font-family:var(--sans);-webkit-font-smoothing:antialiased;background-size:24px 24px;margin:0;font-size:16px;line-height:1.5}a{color:var(--accent);text-underline-offset:.15em}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}button{font:inherit;color:inherit;cursor:pointer}.sr-only{position:absolute;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px}.page{max-width:1200px;margin:0 auto;padding:48px 24px 64px}.masthead{max-width:46rem;margin-bottom:40px}.masthead h1{font-family:var(--serif);letter-spacing:-.02em;margin:0 0 16px;font-size:clamp(2.25rem,5vw,3.5rem);font-weight:500;line-height:1.05}.lede{font-family:var(--serif);margin:0 0 16px;font-size:1.25rem;line-height:1.5}.caveat{color:var(--muted);border-left:3px solid var(--gold);margin:0;padding-left:12px;font-size:.9rem}.lean-inline,.lean{display:inline-block;background:var(--accent-soft);color:var(--accent);border-radius:3px;padding:0 6px;font-size:.75rem;font-weight:600}.areas{background:var(--surface);border:1px solid var(--rule);border-radius:8px;margin-bottom:32px;padding:20px 24px 16px}.areas h2{margin:0 0 12px;font-size:1rem;font-weight:600}.area-list{list-style:none;display:grid;grid-template-columns:repeat(auto-fill,minmax(320px,1fr));column-gap:32px;margin:0;padding:0}.area{display:grid;grid-template-columns:1fr auto;grid-template-rows:auto 6px;text-align:left;background:0 0;border:0;border-radius:4px;gap:3px 8px;width:100%;margin:0 -8px;padding:6px 8px;font-size:.875rem}.area:hover{background:var(--accent-soft)}.area[aria-pressed=true]{background:var(--accent-soft);color:var(--accent);font-weight:600}.area-count{color:var(--muted);font-variant-numeric:tabular-nums}.area-bar{grid-column:1/-1;display:block;height:6px}.area-bar-all{display:block;background:var(--mark-off);border-radius:1px;height:100%}.area-bar-major{display:block;background:var(--gold);border-radius:1px;height:100%}.legend{color:var(--muted);margin:12px 0 0;font-size:.8rem}.swatch{display:inline-block;vertical-align:middle;width:12px;height:6px;margin:0 6px 1px 0}.swatch-all{background:var(--mark-off);margin-left:16px}.swatch-major{background:var(--gold)}.layout{display:grid;grid-template-columns:260px minmax(0,1fr);align-items: start;gap:40px}.filters{position:sticky;overflow-y:auto;display:flex;flex-direction:column;gap:20px;max-height:calc(100vh - 32px);padding-right:4px;top:16px}.field{display:flex;border:0;flex-direction:column;gap:6px;min-width:0;margin:0;padding:0}.field-label{color:var(--muted);padding:0;font-size:.8rem;font-weight:600}input[type=search],select{font:inherit;color:var(--ink);background:var(--surface);border:1px solid var(--rule);border-radius:6px;width:100%;padding:8px 10px;font-size:.9rem}.segmented{display:grid;grid-template-columns:repeat(5,1fr);border:1px solid var(--rule);overflow:hidden;background:var(--surface);border-radius:6px}.segmented button{border:0;border-left:1px solid var(--rule);font-variant-numeric:tabular-nums;background:0 0;padding:6px 0;font-size:.85rem}.segmented button:first-child{border-left:0}.segmented button[aria-pressed=true]{background:var(--ink);color:var(--paper);font-weight:600}.chips{display:flex;flex-wrap:wrap;gap:6px}.chip{border:1px solid var(--rule);background:var(--surface);border-radius:999px;padding:3px 10px;font-size:.8rem}.chip:hover{border-color:var(--accent)}.chip[aria-pressed=true]{background:var(--accent);border-color:var(--accent);color:var(--surface)}.chip-count{opacity:.6;font-variant-numeric:tabular-nums}.check{display:flex;align-items: flex-start;gap:8px;font-size:.9rem}.check input{accent-color:var(--accent);margin-top:4px}.status{display:flex;border-bottom:2px solid var(--ink);justify-content:space-between;align-items:baseline;gap:16px;padding-bottom:8px}.status p{margin:0}.link-button{color:var(--accent);text-decoration:underline;text-underline-offset:.15em;white-space:nowrap;background:0 0;border:0;padding:0;font-size:.9rem}.family-note{font-family:var(--serif);color:var(--muted);max-width:44rem;margin:12px 0 0}.empty{color:var(--muted);padding:32px 0}.paper-list{list-style:none;margin:0;padding:0}.paper{display:grid;grid-template-columns:44px minmax(0,1fr);border-bottom:1px solid var(--rule);gap:16px;padding:24px 0}.paper-side{display:flex;flex-direction:column;align-items: center;gap:6px;padding-top:4px}.score{font-family:var(--serif);font-variant-numeric:lining-nums;font-size:1.5rem;line-height:1}.importance-marks{display:flex;flex-direction:column-reverse;gap:3px}.mark{display:block;background:var(--mark-off);border-radius:1px;width:18px;height:5px}.mark.on{background:var(--gold)}.importance-5+.score{color:var(--gold)}.paper-body{max-width:46rem}.meta{display:flex;color:var(--muted);flex-wrap:wrap;align-items: center;gap:4px 12px;margin:0 0 6px;font-size:.8rem}.kind{color:var(--ink);font-weight:600}.kind-counterexample{color:#b5482a}@media (prefers-color-scheme:dark){.kind-counterexample{color:#f08a6c}}.paper-title{font-family:var(--serif);margin:0 0 8px;font-size:1.35rem;font-weight:500;line-height:1.25}.paper-title a{color:var(--ink);text-decoration:none}.paper-title a:hover{color:var(--accent);text-decoration:underline}.summary{font-family:var(--serif);margin:0 0 12px;font-size:1.05rem;line-height:1.6}.paper-foot{display:flex;flex-wrap:wrap;align-items: center;gap:8px 16px}.tags{list-style:none;display:flex;flex-wrap:wrap;gap:6px;margin:0;padding:0}.tag{background:var(--accent-soft);color:var(--accent);border:0;border-radius:3px;padding:1px 8px;font-size:.8rem}.tag:hover{text-decoration:underline}.family-link{color:var(--muted);text-align:left;background:0 0;border:0;padding:0;font-size:.8rem}.family-link:hover{color:var(--accent);text-decoration:underline}.abstract{margin-top:12px;font-size:.9rem}.abstract summary{cursor:pointer;color:var(--muted);width:-moz-fit-content;width:fit-content}.abstract p{color:var(--muted);margin:8px 0 0;line-height:1.6}.abstract-links{display:flex;gap:16px}.more{display:block;border:1px solid var(--ink);background:var(--surface);border-radius:6px;margin:32px auto 0;padding:10px 20px;font-weight:500}.more:hover{background:var(--ink);color:var(--paper)}.footer{border-top:1px solid var(--rule);color:var(--muted);max-width:46rem;margin-top:64px;padding-top:16px;font-size:.8rem}.katex{font-size:1.05em}@media (max-width:860px){.page{padding:32px 16px 48px}.layout{grid-template-columns:1fr;gap:24px}.filters{position:static;overflow:visible;max-height:none}.area-list{grid-template-columns:1fr}.paper{grid-template-columns:32px minmax(0,1fr);gap:12px}}.field .link-button{align-self: flex-start;margin-top:4px;font-size:.8rem}a.lean{text-decoration:none}a.lean:hover{text-decoration:underline}