:root{color-scheme:light;--ink:#111;--muted:#555;--rule:#d2d2d2;--paper:#fff}
*{box-sizing:border-box}
html{background:var(--paper);color:var(--ink);scroll-behavior:auto}
body{margin:0;font:18px/1.63 Georgia,'Times New Roman',serif;text-rendering:optimizeLegibility}
.page{max-width:850px;margin:auto;padding:0 48px}
a{color:inherit;text-decoration-thickness:1px;text-underline-offset:.18em}
a:hover{text-decoration-thickness:2px}
a:focus-visible,summary:focus-visible{outline:2px solid var(--ink);outline-offset:5px}
.masthead{display:flex;align-items:center;justify-content:space-between;gap:20px;padding:30px 0 19px;border-bottom:1px solid var(--ink);font:11px/1.5 ui-monospace,SFMono-Regular,Consolas,monospace;letter-spacing:.12em}
.masthead>a{text-decoration:none;white-space:nowrap;font-weight:bold}
.masthead>a span{font-weight:normal;color:var(--muted)}
.masthead>span{color:var(--muted)}
.eyebrow{display:flex;gap:24px;margin-top:48px;color:var(--muted);font:12px/1.5 ui-monospace,SFMono-Regular,Consolas,monospace}
h1{font-weight:normal;font-size:clamp(32px,5.4vw,46px);line-height:1.12;letter-spacing:-.035em;margin:18px 0 9px}
.subtitle{font-size:24px;line-height:1.3;margin:0 0 29px;font-style:italic}
p{margin:0 0 17px}
.standfirst{font-size:20px;line-height:1.55}
.status{font-size:15px;line-height:1.6;color:var(--muted);margin:22px 0 28px}
.status strong{color:var(--ink)}
.downloads{padding:19px 0 22px;border-top:1px solid var(--rule);border-bottom:1px solid var(--ink);margin-bottom:39px}
.downloads .primary{font-size:19px;font-weight:bold;display:inline-block}
.downloads .primary span{font:11px/1.5 ui-monospace,SFMono-Regular,Consolas,monospace;margin-left:14px;font-weight:normal}
.downloads>div{display:flex;gap:12px 26px;flex-wrap:wrap;font-size:14px;margin-top:11px}
section{margin:0 0 38px}
h2{font-weight:normal;font-size:25px;line-height:1.35;margin:0 0 17px;letter-spacing:-.02em}
h2>span{font:11px/1.5 ui-monospace,SFMono-Regular,Consolas,monospace;color:var(--muted);display:inline-block;width:31px;vertical-align:middle}
h3{font-size:18px;margin:23px 0 9px;font-weight:bold}
.theorem{margin:24px 0;padding:1px 0 1px 20px;border-left:2px solid var(--ink)}
.theorem p{margin:0}
.verification{font-size:16px;margin:20px 0 23px;border-top:1px solid var(--rule)}
.verification>div{display:grid;grid-template-columns:148px 1fr;gap:20px;padding:13px 0;border-bottom:1px solid var(--rule)}
.verification dt{font-weight:bold}
.verification dd{margin:0}
code{font: .8em/1.5 ui-monospace,SFMono-Regular,Consolas,monospace;overflow-wrap:anywhere}
details{margin:21px 0;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);padding:13px 0}
summary{cursor:pointer;font-size:16px}
.prompt{font-size:16px;font-style:italic;margin:17px 0 7px 20px}
.small{font-size:14px;color:var(--muted)}
footer{display:flex;justify-content:space-between;gap:20px;padding:20px 0 35px;border-top:1px solid var(--ink);font:11px/1.5 ui-monospace,SFMono-Regular,Consolas,monospace;color:var(--muted)}
.skip{position:absolute;left:16px;top:-100px;background:var(--paper);padding:8px;z-index:10}
.skip:focus{top:8px}
@media(max-width:600px){body{font-size:17px}.page{padding:0 24px}.masthead{padding-top:23px;font-size:10px;letter-spacing:.06em}.eyebrow{margin-top:33px}.wide{display:none}.subtitle{font-size:22px}.standfirst{font-size:19px}.verification>div{grid-template-columns:1fr;gap:5px}h2{font-size:23px}.downloads>div{gap:10px 20px}}
@media print{.page{max-width:none;padding:0}.masthead,.downloads,footer,.skip{display:none}.eyebrow{margin-top:0}body{font-size:11pt}h1{font-size:26pt}h2{font-size:16pt}details>.prompt{display:block}section{break-inside:avoid}}