:root{--bg: #ffffff;--ink: #111111;--ink-2: #2e2e2e;--muted: #6b6b6b;--line: #e8e8e8;--fig: #ffffff;--fig-line: #ececec;--card: #ffffff;--card-hover: #fafafa;--edge: #d6d6d6;--accent: #1f4fd1;--serif: "Times New Roman", Times, Georgia, serif;--sans: Arial, Helvetica, "Helvetica Neue", sans-serif;color-scheme:light}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--bg: #111111;--ink: #ededed;--ink-2: #cfcfcf;--muted: #8f8f8f;--line: #262626;--fig: #f5f5f5;--fig-line: #262626;--card: #161616;--card-hover: #1b1b1b;--edge: #3a3a3a;--accent: #8fb0ff;color-scheme:dark}}:root[data-theme=dark]{--bg: #111111;--ink: #ededed;--ink-2: #cfcfcf;--muted: #8f8f8f;--line: #262626;--fig: #f5f5f5;--fig-line: #262626;--card: #161616;--card-hover: #1b1b1b;--edge: #3a3a3a;--accent: #8fb0ff;color-scheme:dark}*,*:before,*:after{box-sizing:border-box}html{scroll-padding-top:80px}body{margin:0;background:var(--bg);color:var(--ink);font-family:var(--sans);font-size:16px;line-height:1.5;-webkit-font-smoothing:antialiased}a{color:inherit;text-decoration:none}p,h1,h2,h3{margin:0}.wrap{width:100%;max-width:720px;margin:0 auto;padding:0 24px}.topbar{position:sticky;top:0;z-index:10;background:var(--bg)}.topbar-inner{display:flex;align-items:center;justify-content:space-between;height:72px}.wordmark{font-family:var(--serif);font-weight:700;font-size:21px;letter-spacing:-.01em}nav{display:flex;align-items:center;gap:14px;font-size:15px;color:var(--ink-2)}nav>a:first-child{margin-right:6px}.icon-btn{display:grid;place-items:center;width:30px;height:30px;padding:0;border:0;background:none;color:var(--ink);cursor:pointer;opacity:.85}.icon-btn:hover{opacity:1}.intro{padding:64px 0 48px}h1{font-family:var(--serif);font-weight:300;font-size:48px;line-height:1.05;letter-spacing:-.01em}.lede{margin-top:18px;font-size:20px;line-height:1.5;color:var(--ink)}.highlights{list-style:none;padding:0;margin:28px 0 0;display:grid;grid-template-columns:repeat(4,1fr);border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.highlights li{padding:14px 14px 14px 0;font-size:14px;line-height:1.4;color:var(--ink-2)}.highlights li+li{padding-left:14px;border-left:1px solid var(--line)}section{padding-bottom:24px}h2{font-family:var(--serif);font-weight:400;font-size:26px;padding-top:40px;margin-bottom:4px}.entry{padding:24px 0;border-bottom:1px solid var(--line)}.entry:last-child{border-bottom:0}.meta{font-size:14px;color:var(--muted);margin-bottom:6px}h3{font-family:var(--serif);font-weight:400;font-size:22px;line-height:1.3}h3 a,.plain a,.entry-links a,.footer a,nav a,.icon-btn{transition:color .15s,opacity .15s,text-decoration-color .15s}h3 a:hover,.plain a:hover,.entry-links a:hover,.footer a:hover{color:var(--accent);text-decoration:underline;text-underline-offset:3px;text-decoration-thickness:1px}nav a:hover,.icon-btn:hover{color:var(--accent)}.summary{margin-top:8px;font-size:15px;line-height:1.6;color:var(--muted)}.result{margin-top:10px;font-size:15px;line-height:1.5;color:var(--ink)}.entry-links{margin-top:12px;display:flex;flex-wrap:wrap;gap:6px 18px;font-size:14.5px}.entry-links a{color:var(--ink);text-decoration:underline;text-decoration-color:var(--line);text-underline-offset:3px}.note{color:var(--muted);font-size:14px}.role{font-size:15px;color:var(--ink-2);margin-top:2px}.bullets{margin:10px 0 0;padding-left:18px;color:var(--muted);font-size:15px;line-height:1.6}.bullets li+li{margin-top:4px}.viz{margin:0}.viz figcaption{margin-top:8px;font-size:12px;line-height:1.4;color:var(--muted)}.viz svg{display:block;width:100%;height:auto}.plate{display:block;background:var(--fig);border:1px solid var(--fig-line);border-radius:8px;overflow:hidden;padding:6px}.plate img{display:block;width:100%;height:auto}a.plate{cursor:zoom-in}.plain{list-style:none;padding:0;margin:16px 0 0}.plain li{padding:10px 0;font-size:15.5px;line-height:1.5}.plain li+li{border-top:1px solid var(--line)}.plain a{color:var(--ink)}.honors li{display:grid;grid-template-columns:56px 1fr}.year{color:var(--muted);font-size:14px;padding-top:1px}.footer{padding-top:40px;padding-bottom:64px;font-size:14.5px;color:var(--muted)}.footer .sep{margin:0 10px}.viz .gridline{stroke:var(--line)}.viz .tick{font-family:var(--sans);font-size:10px;fill:var(--muted)}.viz .line{fill:none;stroke-linecap:round;stroke-linejoin:round}.viz .line.faint{stroke:var(--muted);stroke-width:1.2;opacity:.5}.viz .line.main{stroke:var(--ink);stroke-width:2}.viz .parity{stroke:var(--muted);stroke-dasharray:2 3;opacity:.6}.viz .drop{stroke:var(--ink);stroke-dasharray:2 2}.viz .pick{fill:var(--ink);stroke:var(--bg);stroke-width:2}.viz .callout{font-family:var(--sans);font-size:11px;font-weight:700;fill:var(--ink)}.viz .series{font-family:var(--sans);font-size:10px;fill:var(--muted)}.viz .ring{fill:none;stroke:var(--line);stroke-width:1.5}.viz .node{fill:var(--bg);stroke:var(--muted);stroke-width:1.5}.viz .node.gate{fill:var(--ink);stroke:var(--ink)}.viz .label{font-family:var(--sans);font-size:12px;fill:var(--ink-2)}.viz .label.strong{fill:var(--ink);font-weight:700}.viz .label.dim{fill:var(--muted);font-size:11px}.viz .center{font-family:var(--serif);font-size:16px;fill:var(--ink)}.viz .center.dim{font-family:var(--sans);font-size:11px;fill:var(--muted)}.viz .box{fill:var(--bg);stroke:var(--line);stroke-width:1.25}.viz .box.strong{stroke:var(--ink)}.viz .edge{fill:none;stroke:var(--muted);stroke-width:1.1;opacity:.7}.viz .arrowhead{fill:var(--muted)}a:focus-visible,button:focus-visible{outline:2px solid var(--ink);outline-offset:3px;border-radius:4px}@media(max-width:640px){.wrap{padding:0 16px}.topbar-inner{height:60px}.wordmark{font-size:19px}nav{gap:8px}.intro{padding:40px 0 32px}h1{font-size:38px}.lede{font-size:18px}.highlights{grid-template-columns:1fr 1fr}.highlights li:nth-child(3){padding-left:0;border-left:0}.highlights li:nth-child(n+3){border-top:1px solid var(--line)}.cards{grid-template-columns:1fr}}.cards{display:grid;grid-template-columns:1fr 1fr;gap:16px;margin-top:20px;align-items:start}.card{background:var(--card);border:1px solid var(--line);border-radius:12px;overflow:hidden;transition:border-color .2s,background-color .2s,box-shadow .2s,transform .2s}.card:hover{border-color:var(--edge);background:var(--card-hover);box-shadow:0 6px 20px -12px #00000040;transform:translateY(-2px)}.card.open{border-color:var(--edge);transform:none}.card-head{display:block;width:100%;padding:0;border:0;background:none;color:inherit;font:inherit;text-align:left;cursor:pointer}.card-fig{height:176px;padding:14px;display:flex;align-items:center;justify-content:center;border-bottom:1px solid var(--line);background:var(--bg)}.card-fig .viz{width:100%;height:100%;display:flex;align-items:center;justify-content:center}.card-fig .viz svg{max-height:148px;width:auto;max-width:100%}.card-fig figcaption{display:none}.card-fig .plate{height:100%;width:100%;display:flex;align-items:center;justify-content:center;padding:6px}.card-fig .plate img{width:auto;height:auto;max-width:100%;max-height:100%}.card-title{padding:16px 18px}.card-title h3{font-size:21px;transition:color .15s}.card:hover .card-title h3{color:var(--accent)}.card-title .result{margin-top:6px;font-size:14px;color:var(--ink-2)}.toggle{display:inline-flex;align-items:center;gap:5px;margin-top:12px;font-size:13px;color:var(--muted);transition:color .15s}.toggle svg{transition:transform .25s}.card:hover .toggle{color:var(--accent)}.card.open .toggle svg{transform:rotate(180deg)}.card-body{display:grid;grid-template-rows:0fr;transition:grid-template-rows .3s ease}.card.open .card-body{grid-template-rows:1fr}.card-body-inner{overflow:hidden;padding:0 18px}.card.open .card-body-inner{padding-bottom:18px}.card-body .summary{margin-top:0;padding-top:2px}.card-body .bullets{font-size:14.5px}@media(prefers-reduced-motion:reduce){.card,.card-body,.toggle svg{transition:none}.card:hover{transform:none}}