.mp-proof{padding-bottom:70px}.mp-proof [id]{scroll-margin-top:110px}.mp-intro>p:not(.oe-eyebrow),.mp-part>p{color:var(--oe-muted);max-width:960px;margin:22px 0;font-size:16px;line-height:1.7}.mp-jumps{border-block:1px solid var(--oe-line);flex-wrap:wrap;gap:6px 24px;margin:26px 0 32px;padding-block:10px;display:flex}.mp-jumps a{min-height:44px;color:var(--oe-accent);align-items:center;font-size:14px;text-decoration:none;display:inline-flex}.mp-jumps a:hover{text-decoration:underline}.mp-statements>article{margin-bottom:35px}.mp-lean-preview{background:#202b1b;border:1px solid #627b46;border-radius:9px;margin-bottom:40px;padding:24px}.mp-lean-preview>p{color:var(--oe-muted);font-size:14px;line-height:1.7}.mp-proof h3{letter-spacing:-.025em;margin:0 0 17px;font-size:25px;font-weight:480;line-height:1.3}.mp-statements>article>p,.mp-remaining>p{color:var(--oe-muted);max-width:1000px;font-size:16px;line-height:1.8}.mp-formula{border:1px solid var(--oe-line);background:#192217;border-radius:7px;min-width:0;margin:20px 0;padding:18px 24px}.mp-formula figcaption{color:var(--oe-muted);margin-top:14px;font-size:11px;line-height:1.6}.mp-equation-scroll{max-width:100%;padding:5px 2px 10px;display:block;overflow:auto hidden}.mp-markdown .katex-display{text-align:left;margin:.5em 0}.mp-markdown .katex-display>.katex{text-align:left}.mp-markdown .katex{font-size:1.12em}.mp-part{padding-top:35px}.mp-source{border:1px solid var(--oe-line);background:#151d14;border-radius:9px;min-width:0;margin-top:28px;padding:28px}.mp-source>header>p{color:var(--oe-muted);margin:0 0 10px;font-size:14px;line-height:1.7}.mp-source .mp-source-hash{overflow-wrap:anywhere;font-size:11px}.mp-code{tab-size:2;color:#e4ebda;background:#0c120c;border:1px solid #34402d;border-radius:6px;margin:20px 0 0;padding:24px;font-size:13px;line-height:1.8;overflow-x:auto}.mp-code code{font:inherit;white-space:pre}.mp-remaining{border-left:3px solid var(--oe-accent);background:#202b1b;margin-top:30px;padding:20px 25px}.mp-markdown{overflow-wrap:anywhere;min-width:0;font-size:16px;line-height:1.85}.mp-markdown p{margin:18px 0}.mp-markdown h4{margin:30px 0 16px;font-size:23px;font-weight:480;line-height:1.35}.mp-markdown h5{margin:24px 0 14px;font-size:19px}.mp-markdown ul,.mp-markdown ol{margin:18px 0;padding-left:25px}.mp-markdown li{margin-block:8px}.mp-markdown a{color:var(--oe-accent);text-underline-offset:4px;text-decoration:underline}.mp-markdown :not(pre)>code{background:#26311f;border-radius:3px;padding:2px 4px;font-size:.85em}.mp-markdown pre{background:#0c120c;padding:20px;font-size:13px;overflow-x:auto}@media (width<=700px){.mp-source{padding:20px}.mp-formula{padding:14px}.mp-markdown{font-size:15px}.mp-markdown .katex{font-size:1em}.mp-code{padding:17px;font-size:12px}.mp-proof h3{font-size:22px}}.mr-page{padding-bottom:70px}.mr-header{padding-top:140px;padding-bottom:50px}.mr-back{min-height:44px;color:var(--oe-muted);align-items:center;gap:9px;margin-bottom:32px;font-size:14px;text-decoration:none;display:inline-flex}.mr-header h1{letter-spacing:-.055em;max-width:950px;margin:0 0 25px;font-size:clamp(42px,6vw,78px);font-weight:430;line-height:1.06}.mr-lede{color:var(--oe-muted);max-width:790px;margin:0 0 28px;font-size:20px;line-height:1.65}.mr-header .oe-eyebrow{margin-bottom:22px}.mr-intro-links{flex-wrap:wrap;align-items:center;gap:14px 26px;display:flex}.mr-tldr-wrap{margin-bottom:70px}.mr-tldr{--oe-accent:#345129;--oe-ink:#1c2b1d;--oe-muted:#50604b;color:var(--oe-ink);background:#e8edde;border-radius:12px;padding:36px 40px}.mr-tldr>.oe-eyebrow{margin-bottom:17px}.mr-tldr h2{letter-spacing:-.04em;margin:0 0 22px;font-size:clamp(27px,3vw,39px);font-weight:450;line-height:1.2}.mr-tldr>p:not(.oe-eyebrow){max-width:1000px;margin:0 0 22px;font-size:19px;line-height:1.7}.mr-tldr .mr-tldr-limit{color:var(--oe-muted);border-top:1px solid #bdcbb1;padding-top:20px;margin:0!important;font-size:14px!important}.mr-section-heading{justify-content:space-between;align-items:start;gap:32px;margin-bottom:32px;display:flex}.mr-section-heading .oe-eyebrow{margin-bottom:18px}.mr-section-heading p:not(.oe-eyebrow){max-width:760px;color:var(--oe-muted);margin:22px 0 0;font-size:17px;line-height:1.7}.mr-orchestration{padding-bottom:64px}.mr-examples{grid-template-columns:repeat(3,minmax(0,1fr));gap:20px;display:grid}.mr-example{border:1px solid var(--oe-line);background:#192217;border-radius:10px;padding:27px}.mr-step{width:34px;height:34px;color:var(--oe-accent);border:1px solid #536844;border-radius:50%;justify-content:center;align-items:center;margin-bottom:25px;font-size:13px;display:inline-flex}.mr-example h3{letter-spacing:-.03em;margin:0 0 22px;font-size:23px;font-weight:480;line-height:1.25}.mr-example dl{margin:0}.mr-example dl>div+div{margin-top:19px}.mr-example dt{color:var(--oe-accent);margin-bottom:6px;font-size:12px;font-weight:550}.mr-example dd{color:var(--oe-muted);margin:0;font-size:15px;line-height:1.65}.mr-example details{border-top:1px solid var(--oe-line);margin-top:24px}.mr-page details summary{cursor:pointer;min-height:46px;color:var(--oe-accent);padding-block:14px;font-size:13px}.mr-page details summary:hover{text-underline-offset:4px;text-decoration:underline}.mr-evidence-links{margin:0;padding:0;list-style:none}.mr-evidence-links a{color:var(--oe-accent);align-items:center;gap:9px;min-height:44px;padding-block:8px;font-size:13px;line-height:1.5;text-decoration:none;display:inline-flex}.mr-evidence-links a:hover{text-decoration:underline}.mr-evidence-links svg{flex-shrink:0}.mr-evidence-levels{border-top:1px solid var(--oe-line);padding-top:48px;padding-bottom:64px}.mr-level-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:30px;display:grid}.mr-level-grid h3{color:var(--oe-accent);margin:0 0 13px;font-size:18px;font-weight:500}.mr-level-grid p{color:var(--oe-muted);margin:0;font-size:15px;line-height:1.7}.mr-math-detail{border-top:1px solid var(--oe-line);margin-top:35px}.mr-math-detail dl{max-width:900px;margin:15px 0 0}.mr-math-detail dl>div{margin-bottom:20px}.mr-math-detail dt{color:var(--oe-accent);margin-bottom:7px;font-size:14px}.mr-math-detail dd{color:var(--oe-muted);margin:0;font-size:15px;line-height:1.75}.mr-math-detail a{color:var(--oe-accent);align-items:center;gap:7px;min-height:44px;font-size:13px;display:flex}.mr-board{border-top:1px solid var(--oe-line);padding-top:64px}.mr-refresh{min-height:44px;color:var(--oe-ink);background:0 0;border:1px solid #526047;border-radius:6px;flex-shrink:0;justify-content:center;align-items:center;gap:9px;padding:10px 14px;display:inline-flex;font-size:13px!important}.mr-refresh:hover{background:#263022}.mr-refresh:disabled{opacity:.7}.mr-feed-status{color:var(--oe-muted);margin:0 0 28px;font-size:13px;line-height:1.65}.mr-posts{gap:22px;margin:0;padding:0;list-style:none;display:grid}.mr-post{border:1px solid var(--oe-line);background:#161e15;border-radius:10px;padding:30px 34px;scroll-margin-top:110px}.mr-post>header{align-items:center;gap:12px;margin-bottom:25px;display:flex}.mr-post-avatar{width:40px;height:40px;color:var(--oe-accent);border:1px solid #4c633e;border-radius:10px;flex-shrink:0;justify-content:center;align-items:center;display:flex}.mr-post-author{font-size:13px;font-weight:550}.mr-post header p{color:var(--oe-muted);margin:5px 0 0;font-size:12px;line-height:1.5}.mr-post h3{letter-spacing:-.025em;margin:0 0 19px;font-size:clamp(23px,2.8vw,31px);font-weight:450;line-height:1.2}.mr-post-summary{max-width:1050px;margin:0 0 25px;font-size:18px;line-height:1.7}.mr-post-roles,.mr-record-note{color:var(--oe-muted);margin:0 0 18px;font-size:12px;line-height:1.65}.mr-post dl{grid-template-columns:1fr 1fr;gap:32px;margin:0 0 22px;display:grid}.mr-post dt{color:var(--oe-accent);margin-bottom:8px;font-size:13px;font-weight:500}.mr-post dd{color:var(--oe-muted);margin:0;font-size:15px;line-height:1.7}.mr-post details{border-top:1px solid var(--oe-line)}.mr-post summary span{color:var(--oe-muted);margin-left:12px;font-size:12px}.mr-correction{color:#e5c79a;align-items:center;min-height:44px;margin-bottom:10px;font-size:13px;display:inline-flex}.mr-next{padding-top:55px}.mr-next p:not(.oe-eyebrow){color:var(--oe-muted);max-width:850px;font-size:18px;line-height:1.7}.mr-sr{clip:rect(0,0,0,0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}@media (width<=950px){.mr-examples{grid-template-columns:1fr}.mr-example dl{grid-template-columns:repeat(3,minmax(0,1fr));gap:22px;display:grid}.mr-example dl>div+div{margin:0}.mr-level-grid{gap:20px}}@media (width<=650px){.mr-header{padding-top:115px;padding-bottom:32px}.mr-header h1{font-size:43px}.mr-lede{font-size:17px}.mr-tldr{padding:25px}.mr-tldr>p:not(.oe-eyebrow){font-size:17px}.mr-tldr-wrap{margin-bottom:45px}.mr-example{padding:24px}.mr-example dl,.mr-post dl,.mr-level-grid{grid-template-columns:1fr;gap:22px}.mr-section-heading{flex-direction:column;gap:20px}.mr-section-heading p:not(.oe-eyebrow){font-size:16px}.mr-post{padding:23px}.mr-post-summary{font-size:17px}.mr-post dl{gap:18px}.mr-board{padding-top:42px}.mr-orchestration,.mr-evidence-levels{padding-bottom:42px}}