*{box-sizing:border-box;margin:0;padding:0}html{scroll-behavior:smooth}a{color:inherit;text-decoration:none}:root{--bg:#f6f6f2;--ink:#1a1a20;--muted:#5d5d63;--accent:#27408b;--rule:#d9d9d1}body{background:var(--bg);color:var(--ink);-webkit-font-smoothing:antialiased;min-height:100vh;font-family:Newsreader,Georgia,serif}.wrap{max-width:720px;margin:0 auto;padding:0 28px}.wrap-wide{max-width:900px;margin:0 auto;padding:0 28px}.masthead{z-index:10;backdrop-filter:blur(8px);border-bottom:1px solid var(--rule);background:#f6f6f2eb;position:sticky;top:0}.masthead .inner{justify-content:space-between;align-items:baseline;max-width:900px;margin:0 auto;padding:16px 28px;display:flex}.masthead .name{letter-spacing:-.01em;font-size:18px;font-weight:600}.masthead nav{letter-spacing:.08em;text-transform:uppercase;color:var(--muted);gap:22px;font-family:JetBrains Mono,monospace;font-size:11px;display:flex}.masthead nav a{border-bottom:1px solid #0000;padding-bottom:3px}.masthead nav a:hover,.masthead nav a.active{color:var(--accent);border-color:var(--accent)}.label{letter-spacing:.16em;text-transform:uppercase;color:var(--muted);font-family:JetBrains Mono,monospace;font-size:11px}.rule{border:0;border-top:1px solid var(--rule);margin:0}.placeholder{color:#9a9a94;font-style:italic}.home-head{padding:62px 0 30px}.home-head .kicker{letter-spacing:.18em;text-transform:uppercase;color:var(--accent);font-family:JetBrains Mono,monospace;font-size:11px}.home-head h1{letter-spacing:-.02em;margin:16px 0 14px;font-size:clamp(44px,9vw,80px);font-weight:500;line-height:.98}.home-head .byline{color:#3a3a40;max-width:34ch;font-size:clamp(18px,2.6vw,22px);font-style:italic;line-height:1.4}.home-head .links{color:var(--muted);flex-wrap:wrap;gap:16px;margin-top:24px;font-family:JetBrains Mono,monospace;font-size:12px;display:flex}.home-head .links a{border-bottom:1px solid #0000}.home-head .links a:hover{color:var(--accent);border-color:var(--accent)}.sig{padding:6px 0 0}.sig svg{width:100%;height:auto;display:block}.block{border-top:1px solid var(--rule);padding:38px 0}.block .label{margin-bottom:18px;display:block}.lead{color:#2c2c32;max-width:64ch;font-size:19px;line-height:1.75}.lead+.lead{margin-top:14px}.pubs{list-style:none}.pubs li a{border-bottom:1px solid var(--rule);grid-template-columns:1fr auto;align-items:baseline;gap:18px;padding:18px 0;display:grid}.pubs li:first-child a{padding-top:6px}.pubs .t{font-size:20px;line-height:1.35;transition:color .15s}.pubs li a:hover .t{color:var(--accent)}.pubs .desc{color:var(--muted);margin-top:5px;font-size:15px;font-style:italic;display:block}.pubs .m{text-transform:uppercase;letter-spacing:.06em;color:var(--muted);white-space:nowrap;font-family:JetBrains Mono,monospace;font-size:11px}.pubs .anchor .t{font-weight:600}.pubs .anchor .arrow{color:var(--accent)}.page-head{padding:54px 0 10px}.page-head h2{letter-spacing:-.015em;font-size:clamp(32px,6vw,48px);font-weight:500}.page-head .sub{color:#3a3a40;max-width:56ch;margin-top:14px;font-size:18px;font-style:italic;line-height:1.6}.about-body{padding:30px 0 0}.about-body p{color:#2c2c32;max-width:64ch;font-size:18px;line-height:1.8}.about-body p+p{margin-top:16px}.contactline{color:var(--muted);margin-top:28px;font-family:JetBrains Mono,monospace;font-size:13px}.contactline a{color:var(--accent)}footer.site{border-top:1px solid var(--rule);color:var(--muted);padding:48px 0;font-family:JetBrains Mono,monospace;font-size:12px}.footrow{flex-wrap:wrap;justify-content:space-between;gap:16px;display:flex}footer.site a:hover{color:var(--accent)}.titleblock{text-align:center;padding:58px 0 26px}.titleblock .kicker{letter-spacing:.18em;text-transform:uppercase;color:var(--accent);font-family:JetBrains Mono,monospace;font-size:11px}.titleblock h1{letter-spacing:-.01em;margin:16px 0 12px;font-size:clamp(34px,6vw,54px);font-weight:500;line-height:1.08}.titleblock .byline2{color:var(--muted);max-width:46ch;margin:0 auto;font-size:16px;font-style:italic}.titleblock .links{flex-wrap:wrap;justify-content:center;gap:18px;margin-top:22px;font-family:JetBrains Mono,monospace;font-size:12px;display:flex}.titleblock .links a{color:var(--accent);border-bottom:1px solid #0000}.titleblock .links a:hover{border-color:var(--accent)}.abstract{border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);margin:8px 0 34px;padding:30px 0}.abstract .h{letter-spacing:.16em;text-transform:uppercase;color:var(--muted);text-align:center;margin-bottom:14px;font-family:JetBrains Mono,monospace;font-size:11px}.abstract p{text-align:justify;font-size:18px;line-height:1.7}.figure{text-align:center;margin:34px 0}.figure svg{width:100%;max-width:560px;height:auto}.figure figcaption{color:var(--muted);margin-top:10px;font-size:13px;font-style:italic}.depthtag{letter-spacing:.14em;text-transform:uppercase;color:#fff;background:var(--accent);border-radius:3px;margin:8px 0 16px;padding:4px 10px;font-family:JetBrains Mono,monospace;font-size:10px;display:inline-block}.depthtag.t2{background:#5d5d63}.depthtag.t3{background:var(--ink)}.sec{border-top:1px solid var(--rule);padding:24px 0}.sec h3{margin-bottom:12px;font-size:24px;font-weight:600}.sec h3 .no{color:var(--accent);margin-right:12px;font-family:JetBrains Mono,monospace;font-size:14px;font-weight:400}.sec p{color:#2c2c32;font-size:17.5px;line-height:1.75}.sec p+p{margin-top:14px}ol.results{counter-reset:r;margin-top:6px;padding:0;list-style:none}ol.results li{border-bottom:1px dotted var(--rule);gap:14px;padding:12px 0;font-size:16.5px;line-height:1.5;display:flex}ol.results li:last-child{border-bottom:0}ol.results li:before{counter-increment:r;content:"("counter(r,lower-roman)")";color:var(--accent);flex-shrink:0;font-family:JetBrains Mono,monospace;font-size:13px}.defbox{border-left:3px solid var(--accent);background:#27408b0a;margin:18px 0;padding:16px 20px;font-size:16px;line-height:1.6}.defbox .lbl{letter-spacing:.1em;text-transform:uppercase;color:var(--accent);margin-bottom:6px;font-family:JetBrains Mono,monospace;font-size:11px;display:block}.fullpaper{text-align:center;border-top:1px solid var(--rule);padding:42px 0}.fullpaper a{color:#fff;background:var(--accent);border-radius:6px;padding:13px 26px;font-family:JetBrains Mono,monospace;font-size:14px;display:inline-block}.fullpaper .note{color:var(--muted);margin-top:12px;font-size:13px;font-style:italic;display:block}.draw{stroke-dasharray:1400;stroke-dashoffset:1400px;animation:2.4s cubic-bezier(.6,0,.2,1) forwards draw}@keyframes draw{to{stroke-dashoffset:0}}@media (prefers-reduced-motion:reduce){.draw{stroke-dashoffset:0;animation:none}}@media (width<=640px){.masthead nav{gap:14px}.pubs li a{grid-template-columns:1fr;gap:6px}.pubs .m{font-size:10px}}
