:root{color-scheme:light;--ink:#172b3b;--muted:#506575;--accent:#155c91;--line:#dbe3e8;--paper:#fff;--wash:#f3f7fa}
*{box-sizing:border-box}html{font-size:18px;scroll-behavior:smooth;scroll-padding-top:2rem}body{margin:0;background:var(--paper);color:var(--ink);font-family:Georgia,'Times New Roman',serif;line-height:1.75}a{color:var(--accent);text-underline-offset:.2em;text-decoration-thickness:1px}a:hover{color:#062e52}a:focus-visible,[tabindex]:focus-visible{outline:3px solid #548db5;outline-offset:5px}p{margin:1.25rem 0}li{margin:.65rem 0}strong{font-weight:700}.masthead{border-top:6px solid #112e48;border-bottom:1px solid var(--line);padding:1rem 2rem;font-family:system-ui,sans-serif;font-size:.8rem}.masthead>div{max-width:1200px;margin:auto;display:flex;justify-content:space-between;gap:1.5rem}.publication{font-weight:650;letter-spacing:.055em;text-transform:uppercase}.date{color:var(--muted)}.layout{max-width:1200px;margin:0 auto;display:grid;grid-template-columns:210px minmax(0,800px);gap:4rem;padding:3rem 2rem 5rem}aside{font-family:system-ui,sans-serif;font-size:.8rem;align-self:start;position:sticky;top:2rem}aside a{display:block;margin:.6rem 0;line-height:1.5}aside nav a{text-decoration:none;color:var(--muted)}aside nav a:hover{color:var(--accent);text-decoration:underline}.nav-title{font-size:.77rem;font-weight:650;color:var(--ink);margin:0 0 .85rem}.downloads{border-top:1px solid var(--line);margin-top:1.5rem;padding-top:1.4rem}main{min-width:0}.status{display:inline-block;font-family:system-ui,sans-serif;font-size:.77rem;color:#32536c;background:#edf4f9;border:1px solid #d8e7f2;padding:.4rem .65rem;margin-bottom:1.2rem;line-height:1.5}h1{font-size:clamp(2rem,4.2vw,3rem);line-height:1.13;letter-spacing:-.025em;font-weight:normal;margin:0 0 1.5rem;color:#112e48}.section-start{margin-top:2.8rem;padding-top:1.4rem;border-top:1px solid var(--line)}.section-start>strong:first-child{color:#112e48}#result{background:var(--wash);border-left:3px solid var(--accent);padding:1.15rem 1.4rem;border-top:0;margin-top:2rem}.equation{overflow-x:auto;overflow-y:hidden;margin:1.7rem 0;padding:.5rem .4rem;max-width:100%}.equation math{font-size:1.08em;min-width:max-content}math{font-size:1.02em}.katex{line-height:normal}.table-wrap{overflow-x:auto;margin:1.8rem 0}table{width:100%;border-collapse:collapse;font-family:system-ui,sans-serif;font-size:.84rem;line-height:1.5}th{text-align:left;font-weight:650;background:var(--wash)}th,td{padding:.8rem .7rem;border-bottom:1px solid var(--line)}pre{overflow-x:auto;background:#102b42;color:#edf5fb;padding:1rem 1.2rem;font-size:.8rem;border-radius:3px}code{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:.85em;overflow-wrap:anywhere}pre code{font-size:1em;overflow-wrap:normal}footer{border-top:2px solid #112e48;margin-top:3.5rem;padding-top:1rem;font-family:system-ui,sans-serif;font-size:.78rem;color:var(--muted)}footer p{margin:.8rem 0}footer span{padding:0 .3rem}.skip{position:absolute;left:1rem;top:-5rem;padding:.5rem;background:white;z-index:2}.skip:focus{top:1rem}
@media(max-width:900px){.layout{grid-template-columns:minmax(0,1fr);max-width:820px;gap:1.8rem;padding-top:1.7rem}aside{position:static;display:flex;flex-wrap:wrap;gap:1rem 2rem}aside nav{display:none}.downloads{border:0;margin:0;padding:0;display:flex;gap:.6rem 1.2rem;flex-wrap:wrap;align-items:baseline}.downloads .nav-title{display:none}.downloads a{margin:0}.masthead{padding:1rem 1.3rem}.layout{padding-left:1.3rem;padding-right:1.3rem}.equation{margin:1.3rem 0}}
@media(max-width:500px){html{font-size:17px}.masthead>div{flex-direction:column;gap:.2rem}.masthead{font-size:.82rem}h1{font-size:2.2rem}.status{font-size:.8rem}.layout{padding-left:1rem;padding-right:1rem}ol,ul{padding-left:1.4rem}#result{padding:.9rem 1rem}aside{font-size:.85rem}th,td{padding:.7rem .55rem}footer{font-size:.82rem}}
@media print{aside,.masthead,.status,.skip{display:none}.layout{display:block;max-width:none;padding:0}html{font-size:11pt}a{color:inherit}h1{font-size:26pt}.equation,.table-wrap{overflow:visible}pre{white-space:pre-wrap;background:#f4f4f4;color:black}footer{font-size:9pt}.section-start{break-after:avoid}table{break-inside:avoid}}