:root{--ink:#24344d;--blue:#173b68;--muted:#63738a;--line:#dbe2ec;--accent:#127b91}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:85px}body{margin:0;background:#fff;color:var(--ink);font:18px/1.85 Georgia,'Times New Roman',serif}a{color:var(--blue);text-underline-offset:4px}a:hover{color:var(--accent)}.topbar{height:70px;border-bottom:1px solid var(--line);padding:0 5vw;display:flex;justify-content:space-between;align-items:center;background:#fff;position:sticky;top:0;z-index:5;font:14px/1.5 Arial,sans-serif}.topbar a{text-decoration:none}.wordmark{font-size:22px;font-weight:bold;letter-spacing:1px}.wordmark span{font-size:12px;font-weight:normal;margin-left:12px;letter-spacing:2px}.layout{max-width:1350px;margin:auto;display:grid;grid-template-columns:250px minmax(0,850px);gap:65px;padding:65px 40px}aside{align-self:start;position:sticky;top:110px;font-family:Arial,sans-serif}.toc-label{font-size:12px;letter-spacing:2px;color:var(--muted);margin:0 0 24px}nav a{display:block;text-decoration:none;font-size:14px;line-height:1.6;padding:10px 0 10px 17px;border-left:2px solid var(--line)}nav a:hover,nav a:focus{border-color:var(--accent);background:#f2f7fa}.side-note{font-size:12px;line-height:1.8;color:var(--muted);margin:32px 0 0 18px}main{min-width:0}.eyebrow{font:12px/1.7 Arial,sans-serif;letter-spacing:2px;color:var(--accent);margin:0 0 25px}h1{font-size:clamp(32px,3.5vw,49px);line-height:1.16;letter-spacing:-1.3px;font-weight:normal;color:#162d50;margin:0 0 30px}.author{font-size:21px;margin:0 0 8px}.affiliation{font:14px/1.8 Arial,sans-serif;color:var(--muted);margin:0}.email{font:14px Arial,sans-serif}.article-header{padding-bottom:42px;border-bottom:3px solid var(--blue)}h2{font-size:28px;font-weight:normal;color:#16345b;line-height:1.3;margin:56px 0 25px}h3{font-size:22px;line-height:1.4;margin-top:38px}p{margin:18px 0}.abstract{padding:0 0 25px;border-bottom:1px solid var(--line)}.abstract h2{font:15px Arial,sans-serif;letter-spacing:1.8px;text-transform:uppercase;margin-top:35px}.abstract p{font-size:17px;line-height:1.85}.statement{margin:30px 0;padding:8px 24px 15px;border-left:3px solid #7395bc;background:#f5f8fc}.theorem{border-color:var(--blue);background:#eef4fa}.statement-title{font-style:normal;font-weight:bold;color:var(--blue)}.proof{margin:24px 0 40px}.proof-title{font-style:italic;font-weight:bold}.qed{text-align:right}figure{margin:35px 0;padding:25px;border:1px solid var(--line)}figure img{width:100%;max-height:340px}figcaption{font-size:15px;line-height:1.65;color:var(--muted)}figcaption p{display:inline}.equation{max-width:100%;overflow-x:auto;padding:6px 0}mjx-container[display=true]{overflow-x:auto;overflow-y:hidden;max-width:100%;padding:8px 0}mjx-container{color:inherit}.references{padding-left:30px;font-size:16px;overflow-wrap:anywhere}.references li{padding-left:8px;margin-bottom:18px}footer{margin-top:65px;padding:30px 0;border-top:1px solid var(--line);font:13px/2 Arial,sans-serif;color:var(--muted)}.skip{position:absolute;left:10px;top:-60px;background:white;z-index:10}.skip:focus{top:10px}:target{scroll-margin-top:90px}a:focus-visible{outline:2px solid var(--accent);outline-offset:4px}@media(max-width:1000px){.layout{grid-template-columns:190px minmax(0,1fr);gap:35px;padding:40px 25px}}@media(max-width:720px){body{font-size:17px}.layout{display:block;padding:30px 22px}.topbar{padding:0 22px;height:60px}.wordmark span{font-size:10px}aside{position:static;margin-bottom:35px}.toc-label{margin-bottom:10px}nav{display:flex;overflow:auto;gap:8px;padding-bottom:8px}nav a{flex:0 0 auto;max-width:210px;font-size:13px;padding:8px 12px;border:1px solid var(--line)}.side-note{display:none}h1{font-size:35px}.eyebrow{font-size:10px}h2{font-size:25px}figure{padding:14px}.statement{padding:8px 15px}.article-header{padding-bottom:30px}}@media print{.topbar,aside,.skip{display:none}.layout{display:block;padding:0}body{font-size:11pt;color:black}h1{font-size:26pt}h2{break-after:avoid}a{color:inherit;text-decoration:none}.statement{background:none}mjx-container[display=true]{overflow:visible}.equation{overflow:visible}footer{display:none}}
.math.inline{display:inline-block;max-width:100%;overflow-x:auto;overflow-y:hidden;vertical-align:middle}