:root{--paper:#fbfaf6;--ink:#1b1a17;--muted:#6e6a60;--accent:#0e5247;--line:rgba(27,26,23,.13);--soft:#f0f3ee}*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--paper);color:var(--ink);font-family:Georgia,serif;font-size:18px;line-height:1.65}a{color:var(--accent);text-underline-offset:4px}a:hover{text-decoration-thickness:2px}.shell{max-width:960px;width:calc(100% - 48px);margin:auto}nav{display:flex;justify-content:space-between;align-items:center;gap:20px;min-height:78px;border-bottom:1px solid var(--line);font-size:15px}.brand{font-weight:bold;color:var(--ink);text-decoration:none}.navlinks{display:flex;gap:22px}header{padding:74px 0 44px}.eyebrow{color:var(--accent);font-family:Arial,sans-serif;font-size:12px;letter-spacing:.12em;text-transform:uppercase;font-weight:700}h1{max-width:850px;font-size:clamp(38px,6vw,64px);line-height:1.12;letter-spacing:-.045em;margin:15px 0 22px}h2{font-size:29px;line-height:1.2;letter-spacing:-.025em;margin:0 0 15px}h3{font-size:21px;margin:20px 0 9px}.intro{font-size:21px;max-width:740px;color:var(--muted);margin:0}.links{display:flex;flex-wrap:wrap;gap:12px 24px;margin-top:25px;font-size:16px}.meta{color:var(--muted);font-size:14px}.project{border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:32px 0;margin-bottom:70px;display:grid;grid-template-columns:155px 1fr;gap:25px}.project p{margin:0 0 18px}.status{font-family:Arial,sans-serif;font-size:12px;color:var(--accent);font-weight:700}.theorem{border-top:1px solid var(--line);padding:36px 0}.number{display:block;color:var(--muted);font-size:14px;margin-bottom:12px}.formula{overflow-x:auto;padding:16px 20px;background:var(--soft);border-left:3px solid var(--accent);margin:20px 0}.theorem p{max-width:780px}.proof{font-size:16px;color:#46443e}.conditions{padding:22px 25px;background:var(--soft);font-size:16px;margin-bottom:28px}.conditions p{margin:5px 0}code{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.82em}pre{font-size:14px;line-height:1.65;background:#f0eee7;padding:20px;overflow:auto;max-width:100%;border:1px solid var(--line)}details{margin:20px 0}summary{cursor:pointer;color:var(--accent);font-size:15px}.verification{border-top:1px solid var(--line);padding:32px 0 55px}.verification p{max-width:780px}table{border-collapse:collapse;font-size:14px;width:100%}td,th{border-bottom:1px solid var(--line);text-align:left;padding:10px 12px 10px 0;overflow-wrap:anywhere}footer{border-top:1px solid var(--line);color:var(--muted);padding:25px 0 45px;font-size:14px}.source-head{padding-bottom:10px}.source{margin-bottom:50px;max-height:none}.toc{display:flex;gap:12px 25px;flex-wrap:wrap;font-size:15px;margin:25px 0 0}@media(max-width:600px){.shell{width:calc(100% - 32px)}body{font-size:17px}header{padding-top:47px}nav{font-size:13px}.navlinks{gap:13px}.project{grid-template-columns:1fr;gap:10px}h2{font-size:26px}.formula{padding:10px 13px}.intro{font-size:19px}}