.astro-route-announcer{position:absolute;left:0;top:0;clip:rect(0 0 0 0);clip-path:inset(50%);overflow:hidden;white-space:nowrap;width:1px;height:1px}:root{color-scheme:light;--bg: #f5f7fb;--bg-rgb: 245, 247, 251;--surface: rgba(255, 255, 255, .78);--surface-solid: #ffffff;--surface-2: rgba(255, 255, 255, .6);--text: #171b26;--text-2: #4b5363;--muted: #6b7384;--border: rgba(23, 27, 38, .08);--border-strong: rgba(23, 27, 38, .16);--accent: #2563eb;--accent-rgb: 37, 99, 235;--accent-2: #7c3aed;--accent-2-rgb: 124, 58, 237;--accent-3: #0891b2;--shadow: 0 1px 2px rgba(23, 27, 38, .04), 0 12px 32px -12px rgba(23, 27, 38, .18);--shadow-hover: 0 2px 4px rgba(23, 27, 38, .05), 0 24px 48px -16px rgba(37, 99, 235, .3);--glow: rgba(37, 99, 235, .35);--code-bg: rgba(23, 27, 38, .05);--img-bg: #ffffff;--line-alpha: .16;--node-alpha: .55;--blob-1: rgba(37, 99, 235, .16);--blob-2: rgba(124, 58, 237, .13);--blob-3: rgba(8, 145, 178, .13);--font-sans: "Inter", ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--font-serif: "Crimson Pro", Georgia, "Times New Roman", serif;--font-display: "Space Grotesk", "Inter", ui-sans-serif, system-ui, sans-serif;--font-mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;--radius: 14px;--radius-sm: 8px;--ease: cubic-bezier(.22, 1, .36, 1);--reveal-duration: .7s;--topbar-h: 56px}:root[data-theme=dark]{color-scheme:dark;--bg: #0a0e17;--bg-rgb: 10, 14, 23;--surface: rgba(17, 22, 36, .72);--surface-solid: #111624;--surface-2: rgba(255, 255, 255, .04);--text: #e7eaf3;--text-2: #b4bccc;--muted: #8b94a7;--border: rgba(255, 255, 255, .08);--border-strong: rgba(255, 255, 255, .16);--accent: #60a5fa;--accent-rgb: 96, 165, 250;--accent-2: #a78bfa;--accent-2-rgb: 167, 139, 250;--accent-3: #22d3ee;--shadow: 0 1px 2px rgba(0, 0, 0, .3), 0 16px 40px -16px rgba(0, 0, 0, .6);--shadow-hover: 0 2px 4px rgba(0, 0, 0, .3), 0 24px 48px -16px rgba(96, 165, 250, .25);--glow: rgba(96, 165, 250, .4);--code-bg: rgba(255, 255, 255, .06);--img-bg: #ffffff;--line-alpha: .22;--node-alpha: .75;--blob-1: rgba(59, 130, 246, .22);--blob-2: rgba(139, 92, 246, .2);--blob-3: rgba(34, 211, 238, .15)}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){color-scheme:dark;--bg: #0a0e17;--bg-rgb: 10, 14, 23;--surface: rgba(17, 22, 36, .72);--surface-solid: #111624;--surface-2: rgba(255, 255, 255, .04);--text: #e7eaf3;--text-2: #b4bccc;--muted: #8b94a7;--border: rgba(255, 255, 255, .08);--border-strong: rgba(255, 255, 255, .16);--accent: #60a5fa;--accent-rgb: 96, 165, 250;--accent-2: #a78bfa;--accent-2-rgb: 167, 139, 250;--accent-3: #22d3ee;--shadow: 0 1px 2px rgba(0, 0, 0, .3), 0 16px 40px -16px rgba(0, 0, 0, .6);--shadow-hover: 0 2px 4px rgba(0, 0, 0, .3), 0 24px 48px -16px rgba(96, 165, 250, .25);--glow: rgba(96, 165, 250, .4);--code-bg: rgba(255, 255, 255, .06);--img-bg: #ffffff;--line-alpha: .22;--node-alpha: .75;--blob-1: rgba(59, 130, 246, .22);--blob-2: rgba(139, 92, 246, .2);--blob-3: rgba(34, 211, 238, .15)}}:root[data-section=blog][data-theme=dark]{--bg: #0b0f19;--bg-rgb: 11, 15, 25;--surface: rgba(15, 23, 42, .6);--surface-solid: #0f172a;--surface-2: rgba(255, 255, 255, .03);--text: #e2e8f0;--text-2: #cbd5e1;--muted: #94a3b8;--border: #1e293b;--border-strong: #334155;--accent: #38bdf8;--accent-rgb: 56, 189, 248;--glow: rgba(56, 189, 248, .35);--shadow-hover: 0 2px 4px rgba(0, 0, 0, .3), 0 24px 48px -16px rgba(56, 189, 248, .22);--code-bg: #1e293b;--blob-1: rgba(56, 189, 248, .14)}@media(prefers-color-scheme:dark){:root[data-section=blog]:not([data-theme=light]){--bg: #0b0f19;--bg-rgb: 11, 15, 25;--surface: rgba(15, 23, 42, .6);--surface-solid: #0f172a;--surface-2: rgba(255, 255, 255, .03);--text: #e2e8f0;--text-2: #cbd5e1;--muted: #94a3b8;--border: #1e293b;--border-strong: #334155;--accent: #38bdf8;--accent-rgb: 56, 189, 248;--glow: rgba(56, 189, 248, .35);--shadow-hover: 0 2px 4px rgba(0, 0, 0, .3), 0 24px 48px -16px rgba(56, 189, 248, .22);--code-bg: #1e293b;--blob-1: rgba(56, 189, 248, .14)}}*,*:before,*:after{box-sizing:border-box}html{scroll-behavior:smooth;overflow-x:clip;-webkit-text-size-adjust:100%}body{margin:0;min-height:100vh;background:var(--bg);color:var(--text);font-family:var(--font-sans);font-size:16px;line-height:1.65;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;transition:background-color .3s ease,color .3s ease}html[data-font=serif] body{font-family:var(--font-serif);font-size:17.5px}a{color:var(--accent);text-decoration:none;transition:color .2s ease}a:hover{color:var(--accent-2)}:focus-visible{outline:2px solid var(--accent);outline-offset:3px;border-radius:4px}img{max-width:100%}p,ul,ol{margin:0 0 1rem}strong{font-weight:600;color:var(--text)}code,pre{font-family:var(--font-mono);font-size:.9em}code{background:var(--code-bg);padding:.1em .4em;border-radius:6px}::selection{background:rgba(var(--accent-rgb),.25)}.bg-blobs{position:fixed;inset:0;z-index:-2;overflow:hidden;pointer-events:none}.bg-blobs span{position:absolute;width:58vmax;height:58vmax;border-radius:50%;background:radial-gradient(closest-side,var(--blob-1),transparent 72%);animation:blob-drift 28s ease-in-out infinite alternate;will-change:transform}.bg-blobs span:nth-child(1){top:-22vmax;left:-16vmax}.bg-blobs span:nth-child(2){right:-14vmax;bottom:-26vmax;background:radial-gradient(closest-side,var(--blob-2),transparent 72%);animation-duration:34s;animation-delay:-9s}.bg-blobs span:nth-child(3){top:28vh;left:38vw;width:42vmax;height:42vmax;background:radial-gradient(closest-side,var(--blob-3),transparent 72%);animation-duration:40s;animation-delay:-18s}#bg-canvas{position:fixed;inset:0;z-index:-1;width:100%;height:100%;pointer-events:none}.topbar{position:sticky;top:0;z-index:30;background:rgba(var(--bg-rgb),.72);-webkit-backdrop-filter:blur(16px) saturate(150%);backdrop-filter:blur(16px) saturate(150%);border-bottom:1px solid var(--border)}.topbar-inner{display:flex;align-items:center;gap:.75rem;max-width:1160px;min-height:var(--topbar-h);margin:0 auto;padding:.45rem 1.5rem}.topbar-brand{display:inline-flex;flex:0 0 auto;align-items:center;gap:.55rem;color:var(--text);font-family:var(--font-display);font-size:1rem;font-weight:700;max-width:240px;overflow:hidden;white-space:nowrap;transition:opacity .3s,transform .35s var(--ease),max-width .4s var(--ease),margin .4s var(--ease),color .2s}.topbar-brand img{width:32px;height:32px;border-radius:50%;object-fit:cover;border:2px solid var(--surface-solid);box-shadow:0 0 0 2px var(--accent)}.topbar-brand:hover{color:var(--accent)}.topbar[data-variant=sidebar]:not(.show-brand) .topbar-brand{opacity:0;transform:translateY(-8px);max-width:0;margin-right:-.75rem;pointer-events:none}.site-nav{flex:1 1 auto;min-width:0;display:flex;justify-content:flex-end;overflow-x:auto;scrollbar-width:none}.site-nav::-webkit-scrollbar{display:none}.site-nav ul{display:flex;gap:.2rem;width:max-content;margin:0;padding:0 .15rem;list-style:none}.site-nav a{display:inline-flex;align-items:center;gap:.4rem;padding:.42rem .85rem;border-radius:999px;color:var(--text-2);font-size:.88rem;font-weight:500;white-space:nowrap;transition:color .2s,background-color .2s,box-shadow .25s,transform .25s var(--ease)}.site-nav a i{font-size:.72rem;opacity:.7;transition:opacity .2s}.site-nav a:hover{color:var(--text);background:var(--surface-2);transform:translateY(-1px)}.site-nav a.active{color:#fff;background:linear-gradient(135deg,var(--accent),var(--accent-2));box-shadow:0 8px 18px -8px var(--glow)}.site-nav a.active i{opacity:.95}.topbar .theme-toggle{width:38px;height:38px;margin:0;padding:0;justify-content:center;border-radius:50%;flex:0 0 auto}.topbar .theme-toggle i{font-size:.95rem}.scroll-progress{position:absolute;left:0;right:0;bottom:-1px;height:2px;overflow:hidden}.scroll-progress span{display:block;height:100%;transform-origin:left;transform:scaleX(0);background:linear-gradient(90deg,var(--accent),var(--accent-2),var(--accent-3))}.theme-toggle{display:inline-flex;align-items:center;gap:.5rem;padding:.4rem .9rem;border-radius:999px;border:1px solid var(--border-strong);background:var(--surface-2);color:var(--text-2);font:inherit;font-size:.8rem;font-weight:500;cursor:pointer;transition:color .2s,border-color .2s,background-color .2s,transform .2s var(--ease)}.theme-toggle i{transition:transform .5s var(--ease)}.theme-toggle:hover{color:var(--accent);border-color:var(--accent);transform:translateY(-1px)}.theme-toggle:hover i{transform:rotate(25deg) scale(1.1)}.theme-toggle .fa-sun{display:none}:root[data-theme=dark] .theme-toggle .fa-moon{display:none}:root[data-theme=dark] .theme-toggle .fa-sun{display:inline}@media(prefers-color-scheme:dark){:root:not([data-theme=light]) .theme-toggle .fa-moon{display:none}:root:not([data-theme=light]) .theme-toggle .fa-sun{display:inline}}.wrapper{display:grid;grid-template-columns:300px minmax(0,1fr);gap:3.5rem;align-items:start;max-width:1160px;margin:0 auto;padding:1.75rem 1.5rem 4rem}.sidebar{position:sticky;top:calc(var(--topbar-h) + 1.25rem)}.content{max-width:780px;padding-top:.5rem}.profile{padding:2rem 1.5rem 1.6rem;text-align:center;background:var(--surface);-webkit-backdrop-filter:blur(16px) saturate(140%);backdrop-filter:blur(16px) saturate(140%);border:1px solid var(--border);border-radius:calc(var(--radius) + 6px);box-shadow:var(--shadow)}.avatar-wrap{position:relative;width:148px;height:148px;margin:0 auto 1.25rem;border-radius:50%;animation:float 7s ease-in-out infinite}.avatar-wrap:before,.avatar-wrap:after{content:"";position:absolute;inset:-5px;border-radius:50%;background:conic-gradient(from 0deg,var(--accent),var(--accent-2),var(--accent-3),var(--accent));animation:spin 9s linear infinite}.avatar-wrap:after{filter:blur(14px);opacity:.55}.avatar-wrap:hover:before,.avatar-wrap:hover:after{animation-duration:2.5s}.avatar-wrap img{position:relative;display:block;width:100%;height:100%;border-radius:50%;object-fit:cover;border:4px solid var(--surface-solid)}.name{margin:0 0 .3rem;font-family:var(--font-display);font-size:1.8rem;font-weight:700;line-height:1.15;letter-spacing:-.02em}.name span{background:linear-gradient(90deg,var(--accent),var(--accent-2),var(--accent-3),var(--accent));background-size:300% 100%;-webkit-background-clip:text;background-clip:text;color:transparent;animation:gradient-shift 12s ease-in-out infinite}.role{margin:0;font-weight:600;color:var(--text)}.affiliation{margin:.2rem 0 0;font-size:.93rem;color:var(--text-2)}.email{display:inline-block;margin-top:.8rem;padding:.25rem .65rem;border-radius:999px;background:var(--code-bg);color:var(--muted);font-family:var(--font-mono);font-size:.78rem}.social{display:flex;justify-content:center;gap:.5rem;margin:1.25rem 0 0}.social a{display:inline-flex;align-items:center;justify-content:center;width:42px;height:42px;border-radius:50%;border:1px solid var(--border);background:var(--surface-2);color:var(--text-2);font-size:1.1rem;transition:transform .25s var(--ease),background-color .25s,color .25s,box-shadow .25s,border-color .25s}.social a:hover,.social a:focus-visible{color:#fff;background:var(--accent);border-color:transparent;transform:translateY(-3px);box-shadow:0 10px 24px -8px var(--glow)}.block{margin:0 0 3.25rem;scroll-margin-top:calc(var(--topbar-h) + 1rem)}.section-head{display:flex;align-items:baseline;gap:.9rem;margin:0 0 1.1rem}.section-head .idx{font-family:var(--font-mono);font-size:.8rem;letter-spacing:.08em;color:var(--accent)}.section-head h2{margin:0;font-family:var(--font-display);font-size:1.65rem;font-weight:700;line-height:1.15;letter-spacing:-.02em;color:var(--text)}.section-head:after{content:"";flex:1;height:2px;margin-left:.5rem;border-radius:2px;background:linear-gradient(90deg,var(--accent),var(--accent-2),transparent);transform-origin:left}html.js .section-head:after{transform:scaleX(0);transition:transform 1s var(--ease) .2s}html.js .section-head.is-visible:after,html.js.reveal-all .section-head:after{transform:scaleX(1)}.lead{margin:0;font-size:1.12rem;line-height:1.7;color:var(--text-2)}.pill{display:inline-flex;align-items:center;gap:.35rem;padding:.3rem .75rem;border-radius:999px;border:1px solid var(--border-strong);background:var(--surface-2);color:var(--text-2);font-family:var(--font-sans);font-size:.78rem;font-weight:500;line-height:1.25;cursor:pointer;transition:color .2s,border-color .2s,background-color .2s,transform .2s var(--ease),box-shadow .2s}.pill i{font-size:.85em;opacity:.85}.pill:hover,.pill:focus-visible{color:#fff;background:var(--accent);border-color:transparent;transform:translateY(-1px);box-shadow:0 8px 18px -8px var(--glow)}.interests{display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:1rem;margin:0;padding:0;list-style:none}.interest{position:relative;overflow:hidden;padding:1.2rem 1.15rem 1.1rem;background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);box-shadow:var(--shadow);transition:transform .3s var(--ease),box-shadow .3s,border-color .3s}.interest:before{content:"";position:absolute;inset:0 0 auto;height:3px;background:linear-gradient(90deg,var(--accent),var(--accent-2),var(--accent-3))}.interest:hover{transform:translateY(-4px);box-shadow:var(--shadow-hover);border-color:rgba(var(--accent-rgb),.35)}.interest .icon{display:grid;place-items:center;width:42px;height:42px;margin-bottom:.8rem;border-radius:11px;background:linear-gradient(135deg,var(--accent),var(--accent-2));color:#fff;font-size:1.05rem;box-shadow:0 10px 22px -10px var(--glow);transition:transform .4s var(--ease)}.interest:hover .icon{transform:translateY(-2px) rotate(-8deg) scale(1.06)}.interest h3{margin:0 0 .3rem;font-family:var(--font-display);font-size:1.02rem;font-weight:700;color:var(--text)}.interest p{margin:0;font-size:.93rem;line-height:1.55;color:var(--text-2)}.interest .watermark{position:absolute;right:-14px;bottom:-18px;font-size:6rem;line-height:1;color:var(--accent);opacity:.06;transform:rotate(-12deg);transition:transform .6s var(--ease),opacity .3s;pointer-events:none}.interest:hover .watermark{opacity:.12;transform:rotate(-4deg) scale(1.08)}.timeline{position:relative;margin:0;padding:0;list-style:none}.timeline:before{content:"";position:absolute;left:7px;top:10px;bottom:10px;width:2px;background:linear-gradient(var(--accent),var(--accent-2),transparent);opacity:.5;transform-origin:top}.timeline li{position:relative;display:grid;grid-template-columns:6.2rem 1fr;gap:.15rem 1rem;padding:0 0 1.05rem 2rem}.timeline li:before{content:"";position:absolute;left:2px;top:.45em;width:12px;height:12px;border-radius:50%;background:var(--bg);border:2px solid var(--accent);box-shadow:0 0 0 4px rgba(var(--accent-rgb),.12)}.timeline li[hidden]{display:none}.timeline .date{padding-top:.2em;font-family:var(--font-mono);font-size:.76rem;letter-spacing:.03em;color:var(--accent);white-space:nowrap}.timeline .what{color:var(--text-2)}html.js .timeline:before{transform:scaleY(0);transition:transform 1.6s var(--ease) .1s}html.js .timeline.is-visible:before,html.js.reveal-all .timeline:before{transform:scaleY(1)}html.js .timeline li:before{transform:scale(0);transition:transform .5s var(--ease) .3s}html.js .timeline li.is-visible:before,html.js.reveal-all .timeline li:before{transform:scale(1)}.show-more{margin:.25rem 0 0 2rem}.talks{display:grid;gap:.75rem;margin:0;padding:0;list-style:none}.talk{display:grid;grid-template-columns:6.2rem 1fr;gap:.25rem 1rem;align-items:start;padding:.95rem 1.1rem;background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);box-shadow:var(--shadow);transition:transform .3s var(--ease),box-shadow .3s,border-color .3s}.talk:hover{transform:translateY(-2px);box-shadow:var(--shadow-hover);border-color:rgba(var(--accent-rgb),.35)}.talk .date{padding-top:.2em;font-family:var(--font-mono);font-size:.76rem;letter-spacing:.03em;color:var(--accent);white-space:nowrap}.talk .title{font-weight:600;color:var(--text)}.talk .venue{font-size:.93rem;color:var(--text-2)}.talk .links{display:flex;flex-wrap:wrap;gap:.4rem;margin-top:.55rem}.site-footer{display:flex;flex-wrap:wrap;justify-content:space-between;gap:.5rem 1rem;margin-top:3rem;padding-top:1.25rem;border-top:1px solid var(--border);font-size:.8rem;color:var(--muted)}.site-footer a{color:var(--text-2)}[data-tilt]{position:relative;will-change:transform}[data-tilt]:after{content:"";position:absolute;inset:0;border-radius:inherit;background:radial-gradient(320px circle at var(--px, 50%) var(--py, 50%),rgba(var(--accent-rgb),.16),transparent 65%);opacity:0;transition:opacity .35s;pointer-events:none}[data-tilt]:hover:after,[data-tilt].is-tilting:after{opacity:1}[data-tilt].is-tilting{transition:transform .08s linear,box-shadow .3s,border-color .3s}.to-top{position:fixed;right:1.25rem;bottom:1.25rem;z-index:25;display:grid;place-items:center;width:44px;height:44px;border-radius:50%;border:1px solid var(--border-strong);background:var(--surface);-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);color:var(--text-2);box-shadow:var(--shadow);cursor:pointer;opacity:0;transform:translateY(14px);pointer-events:none;transition:opacity .3s,transform .35s var(--ease),background-color .2s,color .2s}.to-top.is-visible{opacity:1;transform:none;pointer-events:auto}.to-top:hover{color:#fff;background:var(--accent);border-color:transparent}@keyframes spin{to{transform:rotate(360deg)}}@keyframes float{0%,to{transform:translateY(0)}50%{transform:translateY(-6px)}}@keyframes gradient-shift{0%,to{background-position:0% 50%}50%{background-position:100% 50%}}@keyframes blob-drift{0%{transform:translateZ(0) scale(1)}to{transform:translate3d(6vw,5vh,0) scale(1.12)}}html.js [data-reveal]{opacity:0;transform:translateY(18px);transition:opacity var(--reveal-duration) var(--ease),transform var(--reveal-duration) var(--ease);transition-delay:calc(var(--i, 0) * 70ms)}html.js [data-reveal].is-visible,html.js.reveal-all [data-reveal]{opacity:1;transform:none}::view-transition-old(root){animation:.16s ease-out both vt-out}::view-transition-new(root){animation:.26s var(--ease) both vt-in}@keyframes vt-out{to{opacity:0}}@keyframes vt-in{0%{opacity:0;transform:translateY(8px)}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}html.js [data-reveal]{opacity:1;transform:none;transition:none}html.js .section-head:after{transform:none;transition:none}html.js .timeline:before,html.js .timeline li:before{transform:none;transition:none}*,*:before,*:after{animation-duration:1ms!important;animation-iteration-count:1!important;transition-duration:1ms!important}}@media(min-width:1024px)and (max-height:760px){.sidebar{position:static}}@media(max-width:1023px){.topbar-inner{padding:.4rem 1rem;gap:.5rem}.topbar-brand span{display:none}.site-nav{justify-content:flex-start;-webkit-mask-image:linear-gradient(90deg,transparent,#000 14px,#000 calc(100% - 14px),transparent);mask-image:linear-gradient(90deg,transparent,#000 14px,#000 calc(100% - 14px),transparent)}.site-nav ul{padding:0 .9rem}.site-nav a{padding:.38rem .75rem;font-size:.84rem}.wrapper{grid-template-columns:1fr;gap:2rem;padding:1.25rem 1rem 3rem}.sidebar{position:static}.content{max-width:none;padding-top:0}.profile{display:grid;grid-template-columns:120px 1fr;gap:0 1.25rem;align-items:center;padding:1.25rem;text-align:left}.avatar-wrap{width:112px;height:112px;margin:0}.name{font-size:1.6rem}.social{justify-content:flex-start;margin-top:.9rem}}@media(max-width:599px){body{font-size:15.5px}.profile{grid-template-columns:1fr;text-align:center}.avatar-wrap{margin:0 auto .9rem}.social{justify-content:center}.section-head h2{font-size:1.4rem}.lead{font-size:1.04rem}.timeline li,.talk{grid-template-columns:1fr;gap:.1rem}.show-more{margin-left:2rem}.to-top{right:.9rem;bottom:.9rem;width:40px;height:40px}}@media print{.bg-blobs,#bg-canvas,.topbar,.to-top,.show-more{display:none!important}.wrapper{display:block;padding:0}.profile,.interest,.talk{box-shadow:none}html.js [data-reveal]{opacity:1;transform:none}html.js .section-head:after,html.js .timeline:before,html.js .timeline li:before{transform:none}}.pub-tools{display:flex;flex-wrap:wrap;align-items:center;gap:.6rem;margin:0 0 1.25rem}.pub-search{position:relative;flex:1 1 230px}.pub-search i{position:absolute;left:.9rem;top:50%;transform:translateY(-50%);color:var(--muted);font-size:.85rem;pointer-events:none}.pub-search input{width:100%;padding:.55rem .9rem .55rem 2.3rem;border-radius:999px;border:1px solid var(--border-strong);background:var(--surface);color:var(--text);font:inherit;font-size:.9rem;outline:none;transition:border-color .2s,box-shadow .2s}.pub-search input::placeholder{color:var(--muted)}.pub-search input:focus{border-color:var(--accent);box-shadow:0 0 0 4px rgba(var(--accent-rgb),.15)}.pub-filters{display:flex;flex-wrap:wrap;gap:.35rem}.chip{padding:.38rem .85rem;border-radius:999px;border:1px solid var(--border-strong);background:var(--surface-2);color:var(--text-2);font:inherit;font-size:.8rem;font-weight:500;cursor:pointer;transition:color .2s,border-color .2s,background-color .2s,transform .2s var(--ease)}.chip:hover{color:var(--text);border-color:var(--accent);transform:translateY(-1px)}.chip.active{color:#fff;background:var(--accent);border-color:transparent}.pubs-meta{flex-basis:100%;font-family:var(--font-mono);font-size:.78rem;color:var(--muted)}.pubs-meta a{color:var(--text-2)}.pubs-meta a:hover{color:var(--accent)}.pubs-meta i{font-size:.7em;margin-left:.15rem}.pub-group.is-hidden{display:none}.pub-year{display:flex;align-items:center;gap:1rem;margin:1.75rem 0 .9rem}.pub-year span{font-family:var(--font-display);font-size:1.1rem;font-weight:700;letter-spacing:.02em;color:var(--text)}.pub-year:after{content:"";flex:1;height:1px;background:var(--border-strong)}.pub-list{display:grid;gap:.9rem;margin:0;padding:0;list-style:none}.pub{display:grid;grid-template-columns:220px minmax(0,1fr);gap:1.1rem;padding:.9rem;background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);box-shadow:var(--shadow);transition:transform .3s var(--ease),box-shadow .3s,border-color .3s}.pub:hover{transform:translateY(-3px);box-shadow:var(--shadow-hover);border-color:rgba(var(--accent-rgb),.35)}.pub.is-hidden{display:none}.pub-media{position:relative;align-self:start;aspect-ratio:2/1;overflow:hidden;border-radius:var(--radius-sm);border:1px solid var(--border);background:var(--img-bg)}.pub-media img{display:block;width:100%;height:100%;object-fit:cover;transition:transform .6s var(--ease)}.pub:hover .pub-media img{transform:scale(1.06)}:root[data-theme=dark] .pub-media img{filter:brightness(.92)}@media(prefers-color-scheme:dark){:root:not([data-theme=light]) .pub-media img{filter:brightness(.92)}}.badge{position:absolute;top:.5rem;left:.5rem;padding:.28rem .55rem;border-radius:6px;color:#fff;background:linear-gradient(135deg,var(--accent),var(--accent-2));box-shadow:0 4px 12px -4px #00000073;font-family:var(--font-mono);font-size:.68rem;font-weight:600;letter-spacing:.04em;white-space:nowrap}.badge[data-type=workshop]{background:linear-gradient(135deg,#0d9488,#06b6d4)}.badge[data-type=journal]{background:linear-gradient(135deg,#c2410c,#f59e0b)}.badge[data-type=preprint]{background:linear-gradient(135deg,#475569,#64748b)}.pub-body{min-width:0}.pub-title{margin:0 0 .3rem;font-family:var(--font-display);font-size:1.04rem;font-weight:700;line-height:1.35;letter-spacing:-.01em}.pub-title a{color:var(--text);background-image:linear-gradient(90deg,var(--accent),var(--accent-3));background-size:0% 2px;background-repeat:no-repeat;background-position:0 100%;transition:background-size .35s var(--ease),color .2s}.pub-title a:hover{color:var(--accent);background-size:100% 2px}.pub-authors{margin:0 0 .2rem;font-size:.9rem;line-height:1.5;color:var(--text-2)}.pub-authors strong{color:var(--text);font-weight:600}.pub-venue{margin:0 0 .6rem;font-size:.86rem;font-style:italic;color:var(--muted)}.pub-links{display:flex;flex-wrap:wrap;align-items:center;gap:.4rem}.pub-note{font-size:.85rem;font-style:italic;font-weight:600;color:#e74d3c}.pubs-empty{display:none;padding:2rem 0;text-align:center;font-style:italic;color:var(--muted)}.pubs-empty.is-visible{display:block}@media(min-width:640px)and (max-width:1023px){.pub{grid-template-columns:200px minmax(0,1fr)}}@media(max-width:639px){.pub{grid-template-columns:1fr;gap:.75rem}.pub-media{aspect-ratio:2.4/1}.pubs-meta{flex-basis:auto}}.wide-page{padding:0 0 2rem}.blog-intro{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:.75rem 1rem;margin-bottom:1.25rem}.blog-intro .lead{flex:1 1 320px}.lightbox{max-width:min(96vw,1400px);max-height:94vh;padding:0;border:0;border-radius:14px;background:var(--surface-solid);color:var(--text);box-shadow:0 30px 80px -20px #0009}.lightbox::backdrop{background:#060910c7;-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px)}.lightbox figure{margin:0;display:grid}.lightbox img{display:block;max-width:min(96vw,1400px);max-height:82vh;width:auto;height:auto;margin:0 auto;object-fit:contain;background:#fff}.lightbox figcaption{padding:.8rem 1.1rem 1rem;font-family:var(--font-sans);font-size:.88rem;line-height:1.5;color:var(--text-2)}.lightbox figcaption b{color:var(--text)}.lightbox figcaption:empty{display:none}.lightbox .lightbox-close{position:absolute;top:.6rem;right:.6rem;display:grid;place-items:center;width:36px;height:36px;border-radius:50%;border:0;background:#0000008c;color:#fff;font-size:1rem;cursor:pointer;transition:background-color .2s}.lightbox .lightbox-close:hover{background:var(--accent)}.lightbox[open]{animation:lightbox-in .25s var(--ease)}@keyframes lightbox-in{0%{opacity:0;transform:scale(.96)}}html.lightbox-open{overflow:hidden}.post-list{display:grid;gap:1.25rem;margin:0;padding:0;list-style:none}.post-card{overflow:hidden;background:var(--surface);border:1px solid var(--border);border-radius:var(--radius);box-shadow:var(--shadow);transition:transform .3s var(--ease),box-shadow .3s,border-color .3s}.post-card:hover{transform:translateY(-3px);box-shadow:var(--shadow-hover);border-color:rgba(var(--accent-rgb),.35)}.post-card .cover{display:block;aspect-ratio:2.7/1;overflow:hidden;background:var(--img-bg);border-bottom:1px solid var(--border)}.post-card .cover img{width:100%;height:100%;object-fit:cover;object-position:center;transition:transform .6s var(--ease)}.post-card:hover .cover img{transform:scale(1.04)}.post-card .body{padding:1.1rem 1.25rem 1.2rem}.post-card .meta{display:flex;flex-wrap:wrap;gap:.6rem;font-family:var(--font-mono);font-size:.76rem;letter-spacing:.03em;color:var(--accent)}.post-card h3{margin:.35rem 0 .15rem;font-family:var(--font-display);font-size:1.35rem;font-weight:700;line-height:1.25;letter-spacing:-.01em}.post-card h3 a{color:var(--text)}.post-card h3 a:hover{color:var(--accent)}.post-card .subtitle{margin:0 0 .5rem;font-weight:500;color:var(--text-2)}.post-card .summary{margin:0 0 .8rem;font-size:.95rem;color:var(--text-2)}.post-card .tags{display:flex;flex-wrap:wrap;gap:.35rem}.post-card .tag{padding:.2rem .55rem;border-radius:999px;background:rgba(var(--accent-rgb),.1);color:var(--accent);font-family:var(--font-mono);font-size:.7rem}.post-card .more{margin-top:.85rem}:root[data-page=post]{--p-bg: #ffffff;--p-bg-rgb: 255, 255, 255;--p-text: #334155;--p-strong: #1e293b;--p-heading: #0f172a;--p-muted: #64748b;--p-faint: #94a3b8;--p-accent: #0284c7;--p-accent-rgb: 2, 132, 199;--p-accent-hover: #0369a1;--p-border: #e2e8f0;--p-code-bg: #f1f5f9;--p-code-text: #0f172a;--p-code-border: #e2e8f0;--p-surface: #f8fafc;--p-surface-2: rgba(15, 23, 42, .025);--p-btn-border: #cbd5e1;--p-btn-bg: #ffffff;--p-drawer-bg: rgba(255, 255, 255, .97);--p-c-input: #ea580c;--p-c-prop: #0284c7;--p-c-state: #7c3aed;--p-c-halt: #059669;--bg: var(--p-bg);--bg-rgb: var(--p-bg-rgb)}:root[data-page=post] .bg-blobs,:root[data-page=post] #bg-canvas{display:none}:root[data-page=post][data-theme=dark]{--p-bg: #0b0f19;--p-bg-rgb: 11, 15, 25;--p-text: #cbd5e1;--p-strong: #e2e8f0;--p-heading: #f8fafc;--p-muted: #94a3b8;--p-faint: #64748b;--p-accent: #38bdf8;--p-accent-rgb: 56, 189, 248;--p-accent-hover: #0284c7;--p-border: #1e293b;--p-code-bg: #1e293b;--p-code-text: #e2e8f0;--p-code-border: rgba(255, 255, 255, .05);--p-surface: rgba(15, 23, 42, .45);--p-surface-2: rgba(255, 255, 255, .02);--p-btn-border: rgba(255, 255, 255, .1);--p-btn-bg: rgba(255, 255, 255, .03);--p-drawer-bg: rgba(15, 23, 42, .96);--p-c-input: #fb923c;--p-c-prop: #38bdf8;--p-c-state: #a78bfa;--p-c-halt: #34d399}@media(prefers-color-scheme:dark){:root[data-page=post]:not([data-theme=light]){--p-bg: #0b0f19;--p-bg-rgb: 11, 15, 25;--p-text: #cbd5e1;--p-strong: #e2e8f0;--p-heading: #f8fafc;--p-muted: #94a3b8;--p-faint: #64748b;--p-accent: #38bdf8;--p-accent-rgb: 56, 189, 248;--p-accent-hover: #0284c7;--p-border: #1e293b;--p-code-bg: #1e293b;--p-code-text: #e2e8f0;--p-code-border: rgba(255, 255, 255, .05);--p-surface: rgba(15, 23, 42, .45);--p-surface-2: rgba(255, 255, 255, .02);--p-btn-border: rgba(255, 255, 255, .1);--p-btn-bg: rgba(255, 255, 255, .03);--p-drawer-bg: rgba(15, 23, 42, .96);--p-c-input: #fb923c;--p-c-prop: #38bdf8;--p-c-state: #a78bfa;--p-c-halt: #34d399}}.article-layout{display:flex;gap:48px;max-width:1100px;margin:0 auto;padding:40px 24px 80px;box-sizing:border-box}.toc-sidebar{position:sticky;top:calc(var(--topbar-h) + 24px);align-self:flex-start;flex-shrink:0;width:240px;max-height:calc(100vh - var(--topbar-h) - 48px);overflow-y:auto;padding-top:8px;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;scrollbar-width:thin}.toc-sidebar .toc-title{margin-bottom:12px;font-size:11px;font-weight:700;letter-spacing:.05em;text-transform:uppercase;color:var(--p-faint)}.toc-sidebar ul{display:flex;flex-direction:column;gap:8px;margin:0;padding:0;list-style:none}.toc-sidebar li{margin:0;padding-left:8px;border-left:2px solid transparent;line-height:1.4;transition:border-color .15s ease}.toc-sidebar li.toc-h2{font-size:13px}.toc-sidebar li.toc-h3{margin-left:10px;font-size:12px}.toc-sidebar li.active{border-left-color:var(--p-accent)}.toc-sidebar a{color:var(--p-muted);text-decoration:none;transition:color .15s ease}.toc-sidebar a:hover,.toc-sidebar li.active a{color:var(--p-heading)}.btn-toc-toggle{display:none}.post{flex:1;min-width:0;max-width:760px;counter-reset:figure;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;font-size:16px;line-height:1.7;color:var(--p-text)}.post .wrap,.post .wide,.post .post-body{max-width:none;margin:0;padding:0}.post a{color:var(--p-accent);text-decoration:none;transition:color .15s ease}.post a:hover{color:var(--p-accent-hover);text-decoration:underline}.post h1,.post h2,.post h3,.post h4{margin:2em 0 .8em;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;font-weight:700;line-height:1.3;letter-spacing:normal;color:var(--p-heading);scroll-margin-top:calc(var(--topbar-h) + 1rem)}.post h2{font-size:1.6rem;padding-bottom:8px;border-bottom:1px solid var(--p-border)}.post h3{font-size:1.25rem}.post p{margin:0 0 1.5em}.post ul,.post ol{margin:0 0 1.5em;padding-left:24px}.post li{margin-bottom:.5em}.post strong,.post b{font-weight:700;color:var(--p-strong)}.post code{padding:.2em .4em;border-radius:4px;background:var(--p-code-bg);color:var(--p-code-text);font-family:SFMono-Regular,Consolas,Monaco,Liberation Mono,Menlo,monospace;font-size:.9em}.post pre{margin:1.5em 0;padding:16px;overflow-x:auto;border:1px solid var(--p-code-border);border-radius:8px;background:var(--p-code-bg);color:var(--p-code-text);font-family:SFMono-Regular,Consolas,Monaco,Liberation Mono,Menlo,monospace;font-size:.875rem;line-height:1.5}.post blockquote,.post .note{margin:1.5em 0;padding:0 0 0 16px;border-left:4px solid var(--p-accent);color:var(--p-muted);font-style:italic}.post hr{height:1px;margin:2.5em 0;border:0;background:var(--p-border)}.post .anchor{margin-left:.4em;font-family:SFMono-Regular,Consolas,Monaco,Liberation Mono,Menlo,monospace;font-size:.7em;font-weight:400;color:var(--p-faint);opacity:0;transition:opacity .2s,color .2s}.post .anchor:hover{color:var(--p-accent);text-decoration:none}.post h2:hover .anchor,.post h3:hover .anchor,.post .anchor:focus-visible{opacity:1}.post .math svg,.post .math-display svg{overflow:visible}.post svg g[style*=fill]{fill:currentColor!important}.post .math-display{color:var(--p-strong)}.post .post-meta-bar{display:flex;flex-wrap:wrap;align-items:center;gap:6px 10px;margin:0 0 22px;font-size:13px;color:var(--p-faint)}.post .post-meta-bar .crumb{display:inline-flex;align-items:center;gap:6px;color:var(--p-muted);font-weight:500}.post .post-meta-bar .crumb:hover{color:var(--p-accent);text-decoration:none}.post .post-meta-bar .tags{display:inline-flex;flex-wrap:wrap;gap:6px;margin-left:4px}.post .post-meta-bar .tag{padding:1px 8px;border-radius:4px;background:rgba(var(--p-accent-rgb),.1);color:var(--p-accent);font-size:11px;font-weight:600}.post .hero{margin:0 0 .5em;padding:0}.post .hero .kicker{margin:0 0 12px;font-size:11px;font-weight:700;letter-spacing:.06em;text-transform:uppercase;color:var(--p-accent)}.post .hero h1{margin:0 0 .45em;padding:0;border:0;font-size:2.25rem;letter-spacing:-.01em}.post .hero .dek{margin:0 0 1.4em;font-size:1.15rem;line-height:1.6;color:var(--p-muted)}.post .byline{display:flex;flex-wrap:wrap;gap:2px 14px;margin:0 0 1.4em;padding:0;border:0;font-size:15px;line-height:1.6;color:var(--p-muted)}.post .byline>span:first-child{flex-basis:100%;color:var(--p-text)}.post .byline>span:first-child:before{content:"Authors: "}.post .byline b{font-weight:500;color:var(--p-heading)}.post .links{display:flex;flex-wrap:wrap;gap:8px;margin:0 0 2.75em}.post .links a{display:inline-flex;align-items:center;height:30px;padding:0 12px;border:1px solid var(--p-btn-border);border-radius:6px;background:var(--p-btn-bg);color:var(--p-strong);font-size:11px;font-weight:600;letter-spacing:.05em;text-transform:uppercase;transition:all .2s ease}.post .links a:hover{background:rgba(var(--p-accent-rgb),.12);border-color:var(--p-accent);color:var(--p-heading);text-decoration:none}.post .links a:first-child{background:rgba(var(--p-accent-rgb),.12);border-color:rgba(var(--p-accent-rgb),.4);color:var(--p-accent)}.post .links a:first-child:hover{background:rgba(var(--p-accent-rgb),.25);border-color:var(--p-accent);box-shadow:0 0 12px rgba(var(--p-accent-rgb),.3)}.post .lede{font-size:1.06rem}.post .tldr{margin:0 0 2em;padding:16px 20px;border:1px solid var(--p-border);border-radius:8px;background:var(--p-surface-2);font-size:15px}.post .tldr .t{margin-bottom:8px;font-size:11px;font-weight:700;letter-spacing:.06em;text-transform:uppercase;color:var(--p-accent)}.post .tldr ol{margin:0;padding-left:20px}.post .tldr li{margin:.45em 0}.post .steps{counter-reset:s;margin:.5em 0 1.75em;padding:0;list-style:none}.post .steps li{position:relative;margin:0;padding:12px 0 12px 46px;border-top:1px solid var(--p-border)}.post .steps li:last-child{border-bottom:1px solid var(--p-border)}.post .steps li:before{counter-increment:s;content:counter(s);position:absolute;left:0;top:14px;display:flex;align-items:center;justify-content:center;width:28px;height:28px;border-radius:50%;color:var(--p-bg);font-size:13px;font-weight:700}.post .steps li:nth-child(1):before{background:var(--p-c-input)}.post .steps li:nth-child(2):before{background:var(--p-c-prop)}.post .steps li:nth-child(3):before{background:var(--p-c-state)}.post .steps li:nth-child(4):before{background:var(--p-c-halt)}.post .steps b{font-size:12px;letter-spacing:.06em}.post .o{color:var(--p-c-input)}.post .bl{color:var(--p-c-prop)}.post .pu{color:var(--p-c-state)}.post .g{color:var(--p-c-halt)}.post .theorem{margin:1.5em 0;padding:14px 18px;border:1px solid var(--p-border);border-left:3px solid var(--p-accent);border-radius:8px;background:var(--p-surface-2);font-size:15.5px}.post .theorem .name{margin-bottom:6px;font-size:11px;font-weight:700;letter-spacing:.06em;text-transform:uppercase;color:var(--p-accent)}.post .numbers{display:grid;grid-template-columns:repeat(4,1fr);gap:12px;margin:1.5em 0 1em}.post .num{padding:14px 12px;text-align:center;border:1px solid var(--p-border);border-radius:8px;background:var(--p-surface);transition:border-color .2s ease,box-shadow .2s ease,transform .2s ease}.post .num:hover{border-color:rgba(var(--p-accent-rgb),.3);box-shadow:0 4px 24px -2px rgba(var(--p-accent-rgb),.08);transform:scale(1.01)}.post .num .v{font-size:26px;font-weight:700;line-height:1.15;color:var(--p-accent);font-variant-numeric:tabular-nums}.post .num .l{margin-top:6px;font-size:12.5px;line-height:1.35;color:var(--p-muted)}.post .table-scroll{margin:1.5em 0 .6em;overflow-x:auto;-webkit-overflow-scrolling:touch}.post table.results{width:100%;margin:0;border-collapse:collapse;font-size:.9rem}.post table.results th,.post table.results td{padding:10px 12px;text-align:right;white-space:nowrap;border-bottom:1px solid var(--p-border)}.post table.results th{font-weight:600;color:var(--p-heading);background:var(--p-surface-2);white-space:normal;vertical-align:bottom}.post table.results td:first-child,.post table.results th:first-child{text-align:left}.post table.results tr.ours td{background:rgba(var(--p-accent-rgb),.08);color:var(--p-heading);font-weight:700}.post table.results td.b{font-weight:700;color:var(--p-heading)}.post table.results td.u{text-decoration:underline;text-underline-offset:3px}.post table.results .grp td{padding-top:14px;text-align:left;font-size:.85rem;font-style:italic;color:var(--p-faint);border-bottom:none}.post .tabnote{font-size:13.5px;line-height:1.5;color:var(--p-muted)}.post figure{margin:1.5em 0 2em}.post figure img,.post figure video{display:block;width:100%;height:auto;margin:0;border:1px solid var(--p-border);border-radius:8px;background:#fff;transition:border-color .2s ease,box-shadow .2s ease,transform .2s ease}:root[data-theme=dark] .post figure :is(img,video){filter:brightness(.9) contrast(1.02)}@media(prefers-color-scheme:dark){:root:not([data-theme=light]) .post figure :is(img,video){filter:brightness(.9) contrast(1.02)}}.post figure img{cursor:zoom-in}.post figure img:hover,.post figure video:hover{border-color:rgba(var(--p-accent-rgb),.3);box-shadow:0 4px 24px -2px rgba(var(--p-accent-rgb),.08)}.post figure img:hover{transform:scale(1.005)}.post figcaption{margin-top:12px;padding-left:12px;border-left:2px solid var(--p-border);font-size:14px;line-height:1.5;color:var(--p-muted)}.post figcaption>b:first-child{font-weight:700;color:var(--p-strong)}.post figcaption>b:first-child:before{counter-increment:figure;content:"Figure " counter(figure) ": "}.post .post-footer{margin:3em 0 0;padding-top:16px;border-top:1px solid var(--p-border);font-size:14px;color:var(--p-muted)}.post .codeblock{position:relative}.post .codeblock pre{padding-right:6.5rem}.post .copy-btn{position:absolute;top:10px;right:10px;display:inline-flex;align-items:center;gap:6px;height:26px;padding:0 10px;border:1px solid var(--p-btn-border);border-radius:4px;background:var(--p-btn-bg);color:var(--p-text);font:600 10px/1 system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;letter-spacing:.05em;text-transform:uppercase;cursor:pointer;transition:all .2s ease}.post .copy-btn:hover{background:rgba(var(--p-accent-rgb),.15);border-color:var(--p-accent);color:var(--p-heading)}.post .copy-btn.is-copied{background:#34d39926;border-color:#34d399;color:#34d399}.post .post-end{margin-top:3em}.post .share{display:flex;flex-wrap:wrap;align-items:center;gap:8px;padding:16px 0;border-top:1px solid var(--p-border);border-bottom:1px solid var(--p-border)}.post .share-label{margin-right:6px;font-size:11px;font-weight:700;letter-spacing:.06em;text-transform:uppercase;color:var(--p-faint)}.post .pill{display:inline-flex;align-items:center;gap:6px;height:28px;padding:0 10px;border:1px solid var(--p-btn-border);border-radius:6px;background:var(--p-btn-bg);color:var(--p-strong);font:600 11px/1 system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;letter-spacing:.05em;text-transform:uppercase;box-shadow:none;cursor:pointer;transition:all .2s ease}.post .pill i{font-size:12px;opacity:.85}.post .pill:hover,.post .pill:focus-visible{background:rgba(var(--p-accent-rgb),.12);border-color:var(--p-accent);color:var(--p-heading);text-decoration:none;transform:none;box-shadow:none}.post .pill.is-copied{background:#34d39926;border-color:#34d399;color:#34d399}.post .author-card{display:grid;grid-template-columns:64px 1fr;gap:16px;align-items:center;margin-top:24px;padding:16px 18px;border:1px solid var(--p-border);border-radius:8px;background:var(--p-surface-2)}.post .author-card img{width:64px;height:64px;border-radius:50%;object-fit:cover;border:2px solid var(--p-border)}.post .author-card .author-name{margin:0;font-size:1.05rem;font-weight:700;color:var(--p-heading)}.post .author-card .author-role{margin:2px 0 10px;font-size:14px;line-height:1.45;color:var(--p-muted)}.post .author-card .author-links{display:flex;flex-wrap:wrap;gap:6px}:root[data-page=post] .wide-page .site-footer{max-width:1100px;margin:0 auto;padding:1.25rem 24px 0;border-top-color:var(--p-border);color:var(--p-faint)}:root[data-page=post] .wide-page .site-footer a{color:var(--p-muted)}@media(max-width:960px){.toc-sidebar{position:fixed;top:0;right:-280px;z-index:990;width:260px;height:100vh;max-height:none;padding:32px 24px;box-sizing:border-box;overflow-y:auto;visibility:hidden;background:var(--p-drawer-bg);-webkit-backdrop-filter:blur(20px);backdrop-filter:blur(20px);border-left:1px solid var(--p-btn-border);box-shadow:-10px 0 30px #00000059;transition:right .3s cubic-bezier(.4,0,.2,1),visibility 0s linear .3s}.toc-sidebar.open{right:0;visibility:visible;transition:right .3s cubic-bezier(.4,0,.2,1),visibility 0s}.btn-toc-toggle{position:fixed;right:24px;bottom:24px;z-index:991;display:flex;align-items:center;justify-content:center;width:50px;height:50px;padding:0;border:1px solid var(--p-btn-border);border-radius:50%;background:var(--p-drawer-bg);-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);color:var(--p-text);box-shadow:0 4px 20px #0000004d;cursor:pointer;transition:all .2s ease}.btn-toc-toggle:hover,.btn-toc-toggle.active{border-color:rgba(var(--p-accent-rgb),.5);color:var(--p-accent);transform:scale(1.05)}:root[data-page=post] .to-top{right:29px;bottom:86px}.article-layout{padding:24px 16px 60px}}@media(max-width:600px){.post{font-size:15px}.post .hero h1{font-size:1.8rem}.post h2{font-size:1.4rem}.post .hero .dek{font-size:1.05rem}.post .numbers{grid-template-columns:repeat(2,1fr)}.post .author-card{grid-template-columns:1fr;justify-items:start}}.post-hero{position:relative;display:flex;align-items:flex-end;justify-content:center;height:70vh;min-height:460px;max-height:780px;overflow:hidden;background-color:#0b0f19;background-image:linear-gradient(rgba(148,163,184,.055) 1px,transparent 1px),linear-gradient(90deg,rgba(148,163,184,.055) 1px,transparent 1px);background-size:48px 48px;background-position:center;border-bottom:1px solid #1e293b;color:#cbd5e1;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;line-height:1.5}.hero-canvas{position:absolute;inset:0;width:100%;height:100%;display:block;cursor:grab;touch-action:pan-y}.hero-canvas.is-dragging{cursor:grabbing}.hero-canvas.is-hovering:not(.is-dragging){cursor:crosshair}.hero-legend{position:absolute;top:12px;left:12px;z-index:5;display:flex;flex-wrap:wrap;align-items:center;gap:12px;padding:6px 12px;background:#0f172a59;-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px);border:1px solid rgba(255,255,255,.06);border-radius:8px;font-size:11px;font-weight:600;color:#e2e8f0bf;pointer-events:none}.legend-item{display:flex;align-items:center;gap:6px;white-space:nowrap}.legend-item[hidden]{display:none}.legend-dot{flex-shrink:0;width:8px;height:8px;border-radius:50%;background:var(--c)}.legend-dot.is-ring{width:10px;height:10px;background:transparent;border:2px solid var(--c)}.legend-dot.is-dashed{border-style:dashed}.legend-dot.is-cap{width:12px;height:12px;border-width:1.5px}.hero-github-badge{position:absolute;top:16px;right:16px;z-index:10;display:inline-flex;align-items:center;gap:6px;padding:6px 10px;background:#0f172a99;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);border:1px solid rgba(255,255,255,.1);border-radius:6px;color:#cbd5e1;font-size:11px;font-weight:500;text-decoration:none;transition:all .2s ease}.hero-github-badge:hover{background:#ffffff14;border-color:#fff3;color:#fff;text-decoration:none}.hero-hint{position:absolute;right:16px;bottom:16px;z-index:4;margin:0;font-size:11px;color:#94a3b899;pointer-events:none}.hero-overlay{position:absolute;bottom:16px;left:50%;z-index:10;display:flex;justify-content:space-between;align-items:center;gap:12px;width:90%;max-width:730px;padding:10px 16px;transform:translate(-50%);background:#0f172abf;-webkit-backdrop-filter:blur(16px);backdrop-filter:blur(16px);border:1px solid rgba(255,255,255,.08);border-radius:10px;box-shadow:0 15px 30px -10px #0009}.hero-nav{display:flex;flex:1;align-items:center;gap:16px;min-width:0}.hero-info{flex:1;min-width:0;text-align:center}.hero-title{margin:0 0 2px;font-size:13px;font-weight:700;letter-spacing:.03em;color:#f8fafc}.hero-desc{margin:0;font-size:11.5px;line-height:1.4;color:#94a3b8}.hero-chart{display:block;width:100%;height:46px;margin:8px 0 0}.hero-status{min-height:1.4em;margin:4px 0 0;font-family:SFMono-Regular,Consolas,Monaco,Liberation Mono,Menlo,monospace;font-size:10.5px;font-variant-numeric:tabular-nums;color:#38bdf8;opacity:.9}.hero-status.is-halted{color:#34d399}.hero-status.is-stuck{color:#fb923c}.nav-next-wrapper{display:flex;flex-direction:column;align-items:center;justify-content:center;gap:3px;flex-shrink:0;min-width:30px}.hero-counter{font-size:10px;font-weight:700;line-height:1;letter-spacing:.05em;text-transform:uppercase;color:#38bdf8;opacity:.85}.nav-btn,.control-btn{background:#ffffff08;border:1px solid rgba(255,255,255,.1);color:#fff;cursor:pointer;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;text-decoration:none;transition:all .2s ease;outline-offset:2px}.nav-btn{display:flex;align-items:center;justify-content:center;flex-shrink:0;width:30px;height:30px;padding:0;border-radius:50%;font-size:13px}.nav-btn:hover{background:#38bdf81a;border-color:#38bdf8;color:#38bdf8}.hero-controls{display:grid;grid-template-columns:repeat(2,1fr);gap:6px;flex-shrink:0;width:200px}.hero-controls.is-single{grid-template-columns:1fr;width:120px}.control-btn{display:inline-flex;align-items:center;justify-content:center;width:100%;height:28px;margin:0;padding:0;box-sizing:border-box;border-radius:4px;font-size:10px;font-weight:600;letter-spacing:.05em;text-align:center;text-transform:uppercase}.control-btn:hover{background:#38bdf826;border-color:#38bdf8;color:#fff;text-decoration:none}.control-btn:active{background:#38bdf8;color:#0b0f19}.explore-cta-btn{background:#38bdf81f;border-color:#38bdf866;color:#38bdf8}.explore-cta-btn:hover{background:#38bdf840;border-color:#38bdf8;color:#fff;box-shadow:0 0 12px #38bdf859}.control-select{padding:0 18px 0 8px;appearance:none;-webkit-appearance:none;background-color:#0f172abf;background-image:linear-gradient(45deg,transparent 50%,#94a3b8 50%),linear-gradient(135deg,#94a3b8 50%,transparent 50%);background-position:calc(100% - 10px) 50%,calc(100% - 6px) 50%;background-size:4px 4px,4px 4px;background-repeat:no-repeat;border-color:#ffffff26;font-family:SFMono-Regular,Consolas,Monaco,Liberation Mono,Menlo,monospace;font-size:10.5px;letter-spacing:0;text-transform:none;text-align:left}.control-select:hover{background-color:#38bdf826}.control-select option{background:#0f172a;color:#e2e8f0}.hero-tooltip{position:absolute;top:0;left:0;z-index:12;display:flex;flex-direction:column;gap:2px;min-width:150px;padding:8px 10px;background:#0f172aeb;-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px);border:1px solid rgba(51,65,85,.6);border-radius:8px;box-shadow:0 12px 30px -8px #000c;font-size:11px;color:#cbd5e1;pointer-events:none;will-change:transform}.hero-tooltip[hidden]{display:none}.hero-tooltip .tip-title{font-size:12px;font-weight:700;color:#a78bfa}.hero-tooltip .tip-row{display:flex;justify-content:space-between;gap:14px;color:#94a3b8}.hero-tooltip .tip-row b{font-family:SFMono-Regular,Consolas,Monaco,Liberation Mono,Menlo,monospace;font-weight:600;color:#38bdf8}.hero-tooltip .tip-state{font-size:10.5px;color:#64748b}.hero-tooltip.is-inside .tip-title,.hero-tooltip.is-inside .tip-row b{color:#34d399}.cover-hero{align-items:center}.cover-hero .cover-figure{position:absolute;top:50%;left:50%;max-width:min(86%,900px);max-height:calc(100% - 170px);transform:translate(-50%,-58%);border-radius:8px;border:1px solid #1e293b;background:#fff;box-shadow:0 20px 50px -20px #000c}@media(max-width:768px){.post-hero{height:72vh;min-height:520px}.hero-legend{top:10px;left:10px;max-width:calc(100% - 104px);gap:4px 10px;padding:5px 9px;font-size:10px}.hero-hint{display:none}.hero-overlay{flex-direction:column;bottom:8px;gap:10px;width:94%;padding:10px 12px}.hero-nav{width:100%;justify-content:space-between;gap:8px}.hero-title{font-size:12px}.hero-desc{font-size:10.5px;display:-webkit-box;-webkit-line-clamp:3;-webkit-box-orient:vertical;overflow:hidden}.hero-chart{height:34px;margin-top:6px}.nav-btn{width:28px;height:28px;font-size:12px}.hero-controls{display:grid;grid-template-columns:repeat(3,1fr);width:100%;gap:6px}.control-btn{width:100%;height:28px;font-size:9px;padding:0 6px}.control-select{font-size:10px;padding-right:16px}.hero-tooltip{display:none}}@media(prefers-reduced-motion:reduce){[data-hero-play],[data-hero-speed]{display:none}}@keyframes astroFadeInOut{0%{opacity:1}to{opacity:0}}@keyframes astroFadeIn{0%{opacity:0;mix-blend-mode:plus-lighter}to{opacity:1;mix-blend-mode:plus-lighter}}@keyframes astroFadeOut{0%{opacity:1;mix-blend-mode:plus-lighter}to{opacity:0;mix-blend-mode:plus-lighter}}@keyframes astroSlideFromRight{0%{transform:translate(100%)}}@keyframes astroSlideFromLeft{0%{transform:translate(-100%)}}@keyframes astroSlideToRight{to{transform:translate(100%)}}@keyframes astroSlideToLeft{to{transform:translate(-100%)}}@media(prefers-reduced-motion){::view-transition-group(*),::view-transition-old(*),::view-transition-new(*){animation:none!important}[data-astro-transition-scope]{animation:none!important}}