@font-face{font-family:Inter;src:url('../assets/fonts/inter-variable-normal.woff2') format('woff2');font-weight:100 900;font-style:normal;font-display:swap}
@font-face{font-family:'Latin Modern';src:url('../assets/fonts/latin-modern/lmroman10-regular.otf') format('opentype');font-weight:400;font-display:swap}
@font-face{font-family:'Latin Modern';src:url('../assets/fonts/latin-modern/lmroman12-bold.otf') format('opentype');font-weight:700;font-display:swap}
@font-face{font-family:'Latin Modern';src:url('../assets/fonts/latin-modern/lmroman10-italic.otf') format('opentype');font-weight:400;font-style:italic;font-display:swap}
@font-face{font-family:'Latin Modern Mono';src:url('../assets/fonts/latin-modern/lmmono10-regular.otf') format('opentype');font-display:swap}
:root{font-family:Inter,Arial,sans-serif;color:#202938;background:#f6f5f2;font-synthesis:none;--wine:#751a2c;--line:#c9ced6}*{box-sizing:border-box}body{margin:0}a{color:var(--wine);text-underline-offset:3px}:focus-visible{outline:3px solid var(--wine);outline-offset:3px}
.skip{position:fixed;left:10px;top:-100px;background:#fff;padding:14px}.skip:focus{top:8px}
header,main,footer,.topbar{max-width:1020px;margin:auto;padding-left:32px;padding-right:32px}
.topbar{display:flex;align-items:center;justify-content:space-between;gap:22px;padding-top:22px;padding-bottom:22px;border-bottom:1px solid var(--line);font-size:13px;line-height:1.5}
.personal{font-weight:700;text-decoration:none;color:#202938}.personal span{display:block;font-size:12px;font-weight:400;color:#536070}
header{padding-top:40px;padding-bottom:20px}.eyebrow{color:var(--wine);font-size:12px;letter-spacing:.08em;text-transform:uppercase;font-weight:600}
h1,h2,h3{font-family:'Latin Modern',Georgia,serif;font-weight:700}h1{font-size:44px;line-height:1.12;margin:12px 0}h2{font-size:29px;line-height:1.2;margin:0 0 14px}h3{font-size:22px;margin:22px 0 8px}
.intro{font:400 22px/1.45 'Latin Modern',Georgia,serif}
.prose{max-width:900px;padding-bottom:38px}.prose section{margin:34px 0}.prose p,.prose li{font:400 20px/1.5 'Latin Modern',Georgia,serif}.prose p{margin:14px 0}.prose li{margin:8px 0}
.prose strong{font-family:Inter,Arial,sans-serif;font-size:.84em;font-weight:650}.prose em,.prose i{font-style:italic}
.math{font:italic 400 1em 'Latin Modern',Georgia,serif;white-space:nowrap}
.formula{display:block;margin:12px 0 12px 22px;font:400 20px/1.6 'Latin Modern',Georgia,serif;overflow-x:auto}
code{font:400 .86em 'Latin Modern Mono',ui-monospace,monospace;background:#efece7;padding:1px 4px;border-radius:3px}
.reference{padding:18px 22px;border-left:3px solid var(--wine);background:#f0e7e9}
.table-wrap{overflow-x:auto;background:#fff;border:1px solid var(--line);border-radius:8px}
table{width:100%;border-collapse:collapse;font-size:14px;line-height:1.5}th,td{text-align:left;padding:12px 14px;border-bottom:1px solid var(--line);vertical-align:top}th{font-weight:600;width:30%}tr:last-child th,tr:last-child td{border-bottom:0}
.tag{display:inline-block;font:600 12px/1.4 Inter,Arial,sans-serif;padding:1px 7px;border-radius:9px;border:1px solid}.tag.cert{color:#286b2d;border-color:#9cc1a0;background:#f1f8f1}.tag.approx{color:#6b4500;border-color:#d8c08c;background:#fdf7ea}.tag.display{color:#536070;border-color:#c9ced6;background:#f7f7f7}
footer{border-top:1px solid var(--line);padding-top:22px;padding-bottom:30px;display:flex;flex-wrap:wrap;gap:12px 22px;font-size:13px;line-height:1.5}
@media(max-width:700px){header,main,footer,.topbar{padding-left:18px;padding-right:18px}.topbar{font-size:12px;gap:20px;align-items:flex-start}.topbar>a:last-child{max-width:150px;text-align:right}header{padding-top:24px}h1{font-size:34px}h2{font-size:27px}.intro{font-size:21px}.prose p,.prose li{font-size:18px}.formula{font-size:18px;margin-left:8px}table{font-size:13px}th,td{padding:10px}th{width:36%}.reference{padding:14px}}
@media(max-width:480px){.math{white-space:normal;overflow-wrap:anywhere}.formula{overflow-wrap:anywhere}}