/* Proof verification planning guide — editorial paper, inspectable evidence, accessible controls. */
@font-face{font-family:"Space Grotesk";src:url("assets/space-grotesk.woff2") format("woff2");font-style:normal;font-weight:300 700;font-display:swap}
@font-face{font-family:"IBM Plex Mono";src:url("assets/ibm-plex-mono.woff2") format("woff2");font-style:normal;font-weight:400 600;font-display:swap}
@font-face{font-family:"Bricolage Grotesque";src:url("assets/bricolage-grotesque.woff2") format("woff2");font-style:normal;font-weight:400 800;font-display:swap}

:root{
  --paper:#f3f0e9;--ink:#24302a;--sage:#7fa34e;--sage-dark:#4a6534;
  --muted:#59645d;--line:#c9cec2;--white:#fffefa;--wash:#e8ecdf;
  --gap:#8a341f;--gap-wash:#f2e5dc;--dark-line:#546354;
  --body:"Space Grotesk",Arial,sans-serif;
  --heading:"Iowan Old Style",Baskerville,Palatino,"Palatino Linotype",Georgia,serif;
  --mono:"IBM Plex Mono","SFMono-Regular",Consolas,monospace;
  --header-height:80px;
  font-family:var(--body);color:var(--ink);background:var(--paper);
  font-synthesis:none;scroll-behavior:smooth;scroll-padding-top:112px;
}
*,*::before,*::after{box-sizing:border-box}
body{margin:0;font-size:18px;line-height:1.65;overflow-wrap:break-word;-webkit-font-smoothing:antialiased}
img,svg,video{max-width:100%;height:auto}
img,video{display:block}
button,input,select,textarea{font:inherit}
button,a,input{-webkit-tap-highlight-color:transparent}
button{cursor:pointer}
a{color:inherit;text-underline-offset:.19em;text-decoration-thickness:1px}
a:hover{text-decoration-color:var(--sage-dark)}
a:focus-visible,button:focus-visible,input:focus-visible,summary:focus-visible,[tabindex]:focus-visible{
  outline:3px solid var(--sage-dark);outline-offset:5px;border-radius:2px;
}
::selection{background:#cddbb8;color:var(--ink)}
h1,h2,h3,h4,p,ul,ol,figure{margin:0}
h1,h2{font-family:var(--heading);font-weight:400;letter-spacing:-.035em;text-wrap:balance}
h3{font-size:23px;font-weight:600;line-height:1.35;letter-spacing:-.02em}
em{font-weight:inherit}
strong{font-weight:600}
ul,ol{padding-left:1.4em}
code,pre{font-family:var(--mono)}
code{font-size:.84em;padding:.12em .25em;background:rgba(36,48,42,.055);border-radius:2px;overflow-wrap:anywhere}
pre{overflow-x:auto;max-width:100%;padding:26px 28px;background:var(--ink);color:var(--paper);font-size:14px;line-height:1.8;border-radius:3px;tab-size:4;overscroll-behavior-x:contain}
pre code{padding:0;background:none;color:inherit;font-size:inherit;overflow-wrap:normal;white-space:pre}
abbr[title]{text-decoration-style:dotted;text-underline-offset:.2em;cursor:help}
button,.button{display:inline-flex;align-items:center;justify-content:center;gap:15px;min-height:48px;padding:12px 19px;border:1px solid var(--ink);border-radius:3px;background:var(--ink);color:var(--paper);font-family:var(--body);font-size:15px;font-weight:600;line-height:1.4;text-align:center;text-decoration:none;transition:background-color .15s,color .15s,border-color .15s}
button:hover,.button:hover{background:#34463a;color:var(--paper)}
button:disabled{cursor:default;opacity:.7}
.button span[aria-hidden]{font-size:20px;font-weight:400}
.button-light{background:var(--paper);color:var(--ink);border-color:var(--paper)}
.button-light:hover{background:#e1e8d8;border-color:#e1e8d8;color:var(--ink)}
.button-small{min-height:48px;font-size:14px;padding:10px 16px}
.wrap{width:min(calc(100% - 96px),1280px);margin-inline:auto}
.sr-only{position:absolute!important;width:1px!important;height:1px!important;padding:0!important;margin:-1px!important;overflow:hidden!important;clip:rect(0,0,0,0)!important;white-space:nowrap!important;border:0!important}
.skip{position:fixed;top:12px;left:16px;z-index:100;padding:12px 20px;transform:translateY(-180%);background:var(--ink);color:var(--paper)}
.skip:focus{transform:translateY(0)}
.eyebrow,.section-index,.section-kicker,.lab-label{font-family:var(--mono);font-size:11px;font-weight:500;line-height:1.5;letter-spacing:.11em;text-transform:uppercase;color:var(--muted)}
.square{display:inline-block;vertical-align:middle;width:7px;height:7px;margin-right:9px;background:var(--sage)}
.micro{font-size:12px;line-height:1.6;color:var(--muted)}
.cite{font-family:var(--mono);font-size:10px;vertical-align:super;margin-left:4px;color:var(--sage-dark);white-space:nowrap}
sup{font-size:10px;margin-left:4px}
sup a{color:var(--sage-dark)}
[id]{scroll-margin-top:0}

/* A calm persistent way back to the free tool. */
.site-header{position:sticky;top:0;z-index:30;display:flex;align-items:center;gap:28px;min-height:var(--header-height);padding:15px max(48px,calc((100vw - 1280px)/2));border-bottom:1px solid var(--line);background:var(--paper)}
.wordmark{font-family:"Bricolage Grotesque",var(--body);font-size:31px;font-weight:800;line-height:1;letter-spacing:-.055em;text-decoration:none;white-space:nowrap}
.wordmark span{color:var(--sage)}
.header-context{display:flex;align-items:center;gap:14px;flex:1;font-family:var(--mono);font-size:10px;letter-spacing:.025em;color:var(--muted)}
.header-context>span{color:#9ca594}
.site-header>.button{margin-left:auto;flex-shrink:0}
.site-header>[hidden]{display:none}

/* The opening reads like a guide, with a complete answer before the offer. */
.hero{padding-top:34px;padding-bottom:56px}
.breadcrumb{display:flex;flex-wrap:wrap;align-items:center;gap:9px;font-size:11px;line-height:1.5;color:var(--muted);margin-bottom:58px}
.breadcrumb a{text-decoration:none}
.breadcrumb a:hover{text-decoration:underline}
.breadcrumb>span:not([aria-current]){color:#899384}
.hero>.eyebrow{margin-bottom:22px}
.hero h1{max-width:1180px;font-size:clamp(62px,6.35vw,90px);line-height:1.035;letter-spacing:-.048em;margin-bottom:34px}
.hero h1 em{font-weight:400}
.answer{max-width:820px;font-size:21px;line-height:1.6;letter-spacing:-.012em}
.byline{display:flex;align-items:center;gap:13px;margin-top:30px;font-size:12px;line-height:1.55}
.author-monogram{display:flex;justify-content:center;align-items:center;flex:none;width:42px;height:42px;border:1px solid #b9c3ac;border-radius:50%;font-family:var(--mono);font-size:12px;background:var(--wash)}
.byline>div:not(.dates){display:flex;flex-direction:column;gap:2px}
.byline a{font-weight:600;text-decoration:none}
.byline a:hover{text-decoration:underline}
.byline>div>span{color:var(--muted);font-size:11px}
.dates{display:flex;flex-direction:column;gap:2px;margin-left:24px;padding-left:24px;border-left:1px solid var(--line);font-family:var(--mono)}
.dates time{color:var(--ink)}
.lead-download{display:flex;flex-direction:column;align-items:flex-start;gap:5px;margin-top:28px;font-size:14px}
.lead-download>a{font-weight:600;text-decoration-thickness:1px}
.lead-download>span{font-size:11px;color:var(--muted)}
.takeaways{display:grid;grid-template-columns:185px minmax(0,1fr);gap:34px;padding:30px 0;margin-top:47px;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}
.takeaways h2{font-family:var(--mono);font-size:11px;font-weight:500;letter-spacing:.065em;text-transform:uppercase;line-height:1.65;padding-top:2px}
.takeaways>div{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:28px}
.takeaways p{font-size:13px;line-height:1.65}
.takeaways p strong{display:block;margin-bottom:4px;font-size:15px}
.takeaways strong a{text-underline-offset:4px}
.takeaways strong a span{display:inline-block;margin-left:3px;color:var(--sage-dark)}
.key-facts{display:grid;grid-template-columns:repeat(5,minmax(0,1fr));gap:24px;list-style:none;padding:24px 0 0}
.key-facts li{padding-left:17px;border-left:2px solid #b3c399}
.key-facts strong{display:block;font-size:15px;font-weight:500;line-height:1.35}
.key-facts span{display:block;font-size:11px;color:var(--muted);line-height:1.6;margin-top:5px}
.quick-links{display:flex;flex-wrap:wrap;align-items:center;gap:10px 22px;margin-top:30px;font-size:12px;line-height:1.6}
.quick-links>span{font-family:var(--mono);font-size:10px;text-transform:uppercase;color:var(--muted);letter-spacing:.05em}
.quick-links a{padding-block:7px;font-weight:500}
.calculation-rule{display:flex;flex-direction:column;gap:8px;padding:23px 26px;margin:25px 0;background:var(--wash);border-left:3px solid var(--sage);line-height:1.6}
.calculation-rule strong{font-size:17px}
.calculation-rule span{font-family:var(--mono);font-size:13px}

/* A technical exhibit, not an ungrounded product screenshot. */
.visual-cta{display:grid;grid-template-columns:minmax(0,1.15fr) minmax(0,1fr);gap:64px;background:var(--ink);color:var(--paper);padding:52px 54px;margin-top:14px;border-radius:4px}
.visual-cta-copy{min-width:0}
.visual-cta .eyebrow,.final-cta .eyebrow{color:#c9d3bf}
.visual-cta h2{font-size:clamp(37px,3.5vw,51px);line-height:1.1;margin:18px 0 22px;letter-spacing:-.03em}
.visual-cta-copy>p:not(.eyebrow){font-size:15px;line-height:1.7;max-width:370px;color:#dbe0d5}
.visual-cta .button{margin-top:27px}
.visual-cta .micro{display:block;margin-top:12px;font-size:10px;color:#c9d3bf}
.visual-cta-copy>p.project-route{font-size:13px;margin-top:20px;color:#dbe0d5}
.visual-cta a:focus-visible,.final-cta a:focus-visible{outline-color:#d7e8c1}
.hero-exhibit{align-self:center;min-width:0;border:1px solid #64725e;background:#1c2821;padding:23px 27px;border-radius:2px;font-family:var(--mono)}
.exhibit-top{display:flex;align-items:center;justify-content:space-between;gap:14px;font-size:9px;letter-spacing:.06em;color:#ccd5c6}
.live-dot::before{content:"";display:inline-block;width:5px;height:5px;border-radius:50%;background:var(--sage);margin-right:7px;vertical-align:middle}
.exhibit-expression{font-family:var(--mono);font-size:clamp(24px,2.3vw,34px);line-height:1.4;padding:33px 0 27px;white-space:nowrap;letter-spacing:-.06em}
.exhibit-expression>span{color:#d3e3bf}
.exhibit-measure{display:flex;align-items:center;justify-content:space-between;gap:15px;border-top:1px solid #495845;padding:16px 0;font-size:10px;line-height:1.5}
.exhibit-measure>span{max-width:145px;color:#d8dfd0}
.exhibit-measure strong{font-size:28px;font-weight:400;white-space:nowrap;line-height:1.25}
.exhibit-measure i{font-style:normal;color:#a3b199;font-size:19px}
.status-good{font-size:20px;color:#c3d7a7;margin-left:8px}
.status-gap{font-size:20px;color:#edb38c;margin-left:8px}
.exhibit-note{border-top:1px solid #495845;padding-top:17px;font-size:10px;line-height:1.75;color:#d0d9c8}
.exhibit-note>a{display:inline-block;margin-top:8px;color:var(--paper)}

/* Long-form reading and stable, modest navigation. */
.reading-layout{display:grid;grid-template-columns:210px minmax(0,880px);justify-content:space-between;gap:clamp(44px,5vw,80px);margin-top:90px;align-items:start}
.contents{position:sticky;top:112px;min-width:0;font-size:11px;line-height:1.6}
.contents nav{display:flex;flex-direction:column;align-items:stretch;gap:1px}
.contents .eyebrow{margin-bottom:14px;font-size:10px}
.contents nav>a{display:block;padding:9px 0;color:var(--muted);text-decoration:none;border-right:2px solid transparent}
.contents nav>a:hover,.contents nav>a[aria-current="location"],.contents nav>a.is-active{color:var(--ink);border-right-color:var(--sage);font-weight:600}
.contents-download{display:block;padding:20px 0;margin-top:23px;border-top:1px solid var(--line);font-weight:600;text-decoration:none}
.contents-download>span{display:block;margin-top:4px;font-family:var(--mono);font-size:9px;color:var(--muted);font-weight:400}
.contents-note{font-family:var(--heading);font-size:18px;line-height:1.55;color:var(--muted);margin-top:24px}
.article-body{min-width:0;max-width:880px}
.article-body>section{padding-top:37px;margin-bottom:74px;border-top:1px solid var(--line)}
.article-body>section:first-child{padding-top:0;border-top:0}
.article-body .section-index,.article-body .section-kicker{margin-bottom:17px}
.article-body h2{font-size:46px;line-height:1.12;margin:0 0 25px}
.article-body h3{margin:34px 0 14px}
.article-body p{max-width:75ch;margin:0 0 20px;line-height:1.7}
.article-body p:last-child{margin-bottom:0}
.article-body p a:not(.cite),.article-body li>a{text-decoration-color:#8b9c78}
.article-body ul,.article-body ol{margin-bottom:20px}
.article-body pre{margin:25px 0}
.article-body .micro{font-size:12px;line-height:1.6}
.step-number{display:inline-flex;align-items:center;justify-content:center;width:29px;height:29px;flex:none;margin-right:9px;background:var(--wash);border:1px solid #bbc8a9;font-family:var(--mono);font-size:13px;vertical-align:2px;border-radius:50%}

/* All wide data stays inside an explicitly scrollable region. */
.table-scroll,.table-wrap,.lab-table-wrap{width:100%;max-width:100%;min-width:0;overflow-x:auto;overscroll-behavior-x:contain;scrollbar-color:#9fae91 var(--wash);scrollbar-width:thin;margin:27px 0 28px;border:1px solid var(--line);border-radius:2px;background:var(--white)}
table{width:100%;min-width:560px;border-collapse:collapse;text-align:left;font-size:14px;line-height:1.6}
caption{text-align:left;caption-side:top;padding:15px 17px;font-size:11px;line-height:1.7;color:var(--muted);border-bottom:1px solid var(--line);background:var(--paper)}
th,td{vertical-align:top;padding:15px 17px;border-bottom:1px solid #dce0d5;overflow-wrap:normal}
thead th{font-family:var(--mono);font-size:10px;font-weight:500;letter-spacing:.02em;background:var(--wash);line-height:1.6}
tbody th{font-weight:600}
tbody tr:nth-child(even){background:#f6f7f1}
tbody tr:last-child>*{border-bottom:0}
table code{font-size:.85em;overflow-wrap:anywhere}
.table-highlight,.table-highlight:nth-child(even){background:#e3ead6}
#tools table{min-width:780px;font-size:13px}
#tools th,#tools td{padding:14px 13px}
#tools tbody th{min-width:100px}
.result-strip{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:22px;border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:25px 0;margin:30px 0}
.result-strip>div{min-width:0;border-left:2px solid #b9c7a8;padding-left:20px}
.result-strip>div:nth-child(2){border-left-color:#c49377}
.result-strip strong{display:block;font-family:var(--mono);font-size:43px;line-height:1.25;letter-spacing:-.06em;font-weight:400}
.result-strip>div:nth-child(2) strong{color:var(--gap)}
.result-strip span{display:block;font-size:11px;line-height:1.6;color:var(--muted);margin-top:8px}
.note{margin:28px 0;padding:21px 25px;background:#ece9df;border-left:3px solid #9c8e70;font-size:14px;line-height:1.65}
.note>strong{display:block;margin-bottom:9px;font-size:15px}
.article-body .note p{font-size:14px;line-height:1.7;margin:0}
.artifact-links{display:flex;flex-wrap:wrap;gap:10px 22px;font-size:11px}
.evidence-chain{display:flex;align-items:center;gap:16px;margin:33px 0 0;padding:24px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}
.evidence-chain>div{flex:1;min-width:0}
.evidence-chain>div>span{display:block;font-family:var(--mono);font-size:9px;text-transform:uppercase;letter-spacing:.06em;color:var(--muted);margin-bottom:6px}
.evidence-chain strong{display:block;font-size:15px;line-height:1.4}
.evidence-chain small{display:block;font-size:10px;line-height:1.6;color:var(--muted);margin-top:7px}
.chain-arrow{color:var(--sage-dark);font-size:24px}

/* The test-pair workbench is a readable instrument, not a percentage badge. */
.lab-widget{background:var(--white);border:1px solid #b3bda8;border-radius:4px;padding:27px;margin-top:29px;box-shadow:0 3px 0 #e1e5d8}
.lab-heading{display:flex;justify-content:space-between;align-items:flex-start;gap:22px;flex-wrap:wrap;padding-bottom:22px;border-bottom:1px solid var(--line)}
.lab-label{font-size:9px;color:var(--muted);letter-spacing:.08em}
.lab-expression{font-family:var(--mono);font-size:27px;line-height:1.35;margin-top:10px;letter-spacing:-.05em}
.lab-expression code{padding:0;background:none;font-size:inherit}
.article-body .lab-scope{margin:0;max-width:310px;font-size:10px;line-height:1.8;padding-top:2px;color:var(--muted)}
.lab-scope strong{color:var(--ink);font-weight:500}
.lab-presets{display:flex;flex-wrap:wrap;gap:8px;margin:20px 0 24px}
.lab-widget button{min-height:48px;font-size:11px;font-weight:500;padding:11px 13px;background:transparent;color:var(--ink);border-color:#b9c3ae;border-radius:2px}
.lab-widget button:hover{background:var(--wash);border-color:#8a9b78}
.lab-widget button.is-active,.lab-widget button[aria-pressed="true"]{background:var(--ink);color:var(--paper);border-color:var(--ink)}
.lab-widget button:disabled:hover{background:transparent;border-color:#b9c3ae}
.lab-widget button.is-active:disabled:hover{background:var(--ink);border-color:var(--ink)}
.lab-metrics{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:18px;margin:21px 0 26px}
.lab-metrics>div{padding-left:15px;border-left:2px solid #b9c8a6}
.lab-metrics strong{display:block;font-family:var(--mono);font-size:40px;line-height:1.2;letter-spacing:-.055em;font-weight:400}
.lab-metrics>div:first-child strong{color:var(--gap)}
.lab-metrics>div:first-child strong.is-complete{color:var(--sage-dark)}
.lab-metrics span{display:block;font-size:10px;line-height:1.6;margin-top:8px;color:var(--muted)}
.lab-table-wrap{margin:0 0 24px}
.lab-table{min-width:700px;font-size:12px;text-align:center;font-family:var(--mono);line-height:1.4}
.lab-table th,.lab-table td{padding:8px 7px;vertical-align:middle}
.lab-table thead th{height:46px;white-space:nowrap}
.lab-table caption{font-family:var(--body);font-size:10px;line-height:1.65;text-align:left;padding:13px 14px}
.lab-table th:first-child{width:58px}
.lab-table input[type="checkbox"]{display:block;width:48px;height:48px;margin:0;accent-color:var(--ink);cursor:pointer}
.lab-table input:disabled{cursor:default;opacity:.7}
.lab-table tbody tr{background:var(--white)}
.lab-table tbody tr.is-selected{background:#edf1e5}
.lab-table tbody tr.is-pair{background:#dce8ca;box-shadow:inset 3px 0 0 var(--sage-dark)}
.lab-table td[data-lab-pair-marker]{min-width:55px;color:var(--sage-dark);font-size:10px;font-weight:600}
.lab-table code{background:none;padding:0;font-size:13px}
.lab-result{display:inline-block;padding:4px 6px;min-width:48px;border-radius:2px;font-family:var(--body);font-size:11px;font-weight:500}
.lab-result.is-true{background:#dae7c9;color:#304621}
.lab-result.is-false{background:#ece8df;color:var(--ink)}
.lab-trace{white-space:nowrap;color:#3d4c40}
.lab-pair-panel{padding:21px;background:var(--paper);border:1px solid var(--line)}
.lab-condition-buttons{display:flex;flex-wrap:wrap;gap:7px}
.lab-condition-buttons button{font-size:10px;padding:10px 11px}
.article-body .lab-pair-panel h3{font-size:19px;margin:22px 0 13px}
.lab-pairs{display:flex;flex-wrap:wrap;gap:8px;list-style:none;padding:0!important;margin:0 0 13px!important}
.lab-pairs li{margin:0}
.lab-pairs .lab-pair{font-family:var(--mono);font-size:13px;min-width:128px}
.lab-missing-pair{font-size:12px;line-height:1.7;color:var(--gap);padding:9px 0}
.article-body #lab-pair-explanation{font-size:12px;line-height:1.7;margin:0}
.article-body .lab-help{font-size:12px;line-height:1.75;margin:22px 0}
.lab-export{display:flex;align-items:center;flex-wrap:wrap;gap:8px;border-top:1px solid var(--line);padding-top:20px}
.lab-export>span{flex:1 1 220px;font-size:11px;line-height:1.6;padding-right:10px}
.lab-export button{font-size:10px;white-space:nowrap}
.article-body .lab-status{font-family:var(--mono);font-size:9px;color:var(--muted);line-height:1.7;margin:16px 0 0}
.article-body .lab-noscript{font-size:12px;line-height:1.6;background:var(--gap-wash);padding:15px;margin:18px 0 0}

/* Walkthrough, choices and source material. */
.video-section video{width:100%;aspect-ratio:16/9;background:var(--ink);border:1px solid var(--line);border-radius:3px;margin:26px 0 12px}
.transcript{border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin:20px 0 23px}
summary{cursor:pointer;min-height:52px;line-height:1.5;padding:16px 24px 16px 0;font-weight:500;font-size:15px}
summary::marker{font-size:.7em;color:var(--sage-dark)}
.transcript>div{font-size:13px;line-height:1.8;padding-bottom:18px}
.transcript h2,.transcript h3{font-family:var(--body);font-size:16px;font-weight:600;letter-spacing:0;margin:25px 0 10px}
.article-body .transcript p{font-size:13px;line-height:1.8}
.inline-action{font-size:14px;font-weight:500}
.next-steps{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:0;border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin:30px 0 36px}
.next-steps>div{padding:25px 22px 25px 0;min-width:0}
.next-steps>div+div{border-left:1px solid var(--line);padding-left:22px}
.next-steps .eyebrow{font-size:9px}
.article-body .next-steps h3{font-family:var(--heading);font-size:27px;font-weight:400;line-height:1.15;margin:15px 0}
.article-body .next-steps p{font-size:12px;line-height:1.8;margin-bottom:18px}
.next-steps a{font-size:11px;font-weight:600;line-height:1.5;display:inline-block;min-height:38px}
.proof-boundary{background:var(--wash);border-left:3px solid var(--sage-dark);padding:28px 31px;margin-top:32px}
.article-body .proof-boundary h3{font-family:var(--heading);font-size:31px;font-weight:400;margin:14px 0 20px}
.article-body .proof-boundary p:not(.eyebrow){font-size:15px;line-height:1.75}
.proof-boundary>a{font-size:13px;font-weight:600}
.source-feature{padding:25px 28px;border:1px solid var(--line);background:#eeeee4;margin:30px 0}
.article-body .source-feature h3{font-family:var(--heading);font-size:28px;font-weight:400;line-height:1.2;margin:15px 0}
.article-body .source-feature p{font-size:13px;line-height:1.75}
.source-feature>a{font-size:12px;font-weight:600}
.source-list{padding-left:24px}
.source-list>li{padding:12px 0 14px 6px;border-bottom:1px solid var(--line);font-size:13px;line-height:1.6}
.source-list>li::marker{font-family:var(--mono);font-size:10px;color:var(--muted)}
.source-list>li>a{font-weight:500}
.source-list>li>span{display:block;font-size:11px;line-height:1.75;margin-top:5px;color:var(--muted)}
.faq details{border-bottom:1px solid var(--line)}
.faq summary{font-size:17px;padding-top:20px;padding-bottom:20px}
.article-body .faq details p{font-size:15px;line-height:1.8;margin:0;padding-bottom:24px;max-width:70ch}
.faq details[open] summary{font-weight:600}
.changelog h2{font-size:32px}
.changelog>div{display:grid;grid-template-columns:115px minmax(0,1fr);gap:25px;margin-top:27px}
.changelog time{font-family:var(--mono);font-size:10px;line-height:1.7;color:var(--muted);padding-top:3px}
.article-body .changelog p{font-size:13px;line-height:1.75}
.related-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));border-top:1px solid var(--line);border-left:1px solid var(--line);margin-top:30px}
.related-grid>a{position:relative;display:block;min-width:0;padding:24px 28px 32px;border-bottom:1px solid var(--line);border-right:1px solid var(--line);text-decoration:none;transition:background-color .15s}
.related-grid>a:hover{background:var(--wash)}
.related-grid>a>span{display:block;font-family:var(--mono);font-size:9px;text-transform:uppercase;letter-spacing:.04em;color:var(--muted);margin-bottom:13px}
.related-grid>a>strong{display:block;font-family:var(--heading);font-size:26px;font-weight:400;line-height:1.15;margin-bottom:13px;max-width:280px}
.article-body .related-grid p{font-size:12px;line-height:1.7;max-width:280px;padding-right:5px;margin:0}
.related-grid b{position:absolute;right:18px;bottom:15px;font-size:18px;font-weight:400;color:var(--sage-dark)}

/* A single clear offer after the complete guide. */
.final-cta{display:grid;grid-template-columns:minmax(0,1.65fr) minmax(0,1fr);gap:70px;padding:57px 57px;background:var(--ink);color:var(--paper);border-radius:4px;margin:16px auto 80px}
.final-cta h2{font-size:51px;line-height:1.12;margin:21px 0 23px}
.final-cta>div>p:not(.eyebrow){font-size:15px;line-height:1.75;max-width:470px;color:#d6dfcc}
.final-cta .button{margin-top:27px}
.final-secondary{display:block;width:fit-content;font-size:11px;color:#e1e8da;line-height:1.7;margin-top:15px}
.final-record{align-self:center;border-left:1px solid #5b6a52;padding-left:30px;font-family:var(--mono);min-width:0}
.final-record>span{display:block;font-size:10px;letter-spacing:.06em;color:#cad7be;margin-bottom:24px}
.final-record>div{position:relative;padding-left:35px;margin-bottom:22px}
.final-record b{position:absolute;left:0;top:0;font-size:10px;font-weight:400;color:#b9cfa2}
.final-record strong{display:block;font-family:var(--body);font-size:15px;line-height:1.35;font-weight:500}
.final-record small{display:block;font-size:9px;line-height:1.65;color:#c5d0b9;margin-top:4px}
.final-record>p{font-family:var(--heading);font-size:25px!important;line-height:1.4!important;padding-top:12px}
.site-footer{display:grid;grid-template-columns:auto 1fr auto;align-items:center;gap:20px 36px;padding:0 0 38px;font-size:11px;color:var(--muted)}
.site-footer .wordmark{font-size:25px;color:var(--ink)}
.site-footer>p{font-size:11px;line-height:1.6;max-width:330px}
.site-footer>nav{display:flex;gap:10px 21px;flex-wrap:wrap;justify-content:flex-end}
.site-footer>nav a{font-size:10px;text-decoration:none;min-height:28px}
.site-footer>nav a:hover{text-decoration:underline}
.site-footer>span{grid-column:1/-1;font-family:var(--mono);font-size:9px;padding-top:21px;border-top:1px solid var(--line)}

/* Laptop and tablet: preserve reading width before the sidebar. */
@media(max-width:1150px){
  .wrap{width:calc(100% - 64px)}
  .site-header{padding-inline:32px}
  .hero h1{font-size:72px}
  .visual-cta{padding:40px;gap:35px}
  .visual-cta h2{font-size:43px}
  .reading-layout{grid-template-columns:175px minmax(0,1fr);gap:38px}
  .contents{font-size:10px}
  .contents nav>a{padding:8px 0}
  .article-body h2{font-size:41px}
  .lab-heading{gap:15px}
  .lab-widget{padding:21px}
  .lab-scope{max-width:none!important}
  .lab-expression{font-size:25px}
  .final-cta{padding:43px;gap:35px}
  .final-cta h2{font-size:43px}
  .site-footer{grid-template-columns:auto 1fr}
  .site-footer nav{grid-column:1/-1;justify-content:flex-start}
}
@media(max-width:900px){
  :root{--header-height:74px}
  .hero h1{font-size:65px}
  .breadcrumb{margin-bottom:44px}
  .answer{font-size:20px;max-width:760px}
  .takeaways{grid-template-columns:1fr;gap:16px}
  .takeaways>div{gap:25px}
  .reading-layout{display:block;margin-top:56px}
  .contents{position:static;padding:0 0 25px;margin-bottom:37px;border-bottom:1px solid var(--line)}
  .contents nav{display:flex;flex-direction:row;flex-wrap:wrap;gap:4px 17px}
  .contents .eyebrow{width:100%;margin-bottom:9px}
  .contents nav>a{font-size:11px;padding:8px 0;border-right:0;border-bottom:1px solid transparent}
  .contents nav>a:hover,.contents nav>a.is-active,.contents nav>a[aria-current="location"]{border-right:0;border-bottom-color:var(--sage-dark)}
  .contents-download{display:none}
  .contents-note{display:none}
  .article-body{max-width:none}
  .article-body h2{font-size:43px}
  .visual-cta{gap:30px;padding:34px}
  .visual-cta h2{font-size:38px}
  .hero-exhibit{padding:20px}
  .exhibit-top{flex-wrap:wrap;font-size:8px;gap:6px}
  .exhibit-expression{font-size:25px;padding:24px 0}
  .exhibit-measure{gap:8px}
  .exhibit-measure>span{font-size:9px;max-width:130px}
  .exhibit-measure strong{font-size:25px}
  .final-cta{grid-template-columns:minmax(0,1.5fr) minmax(0,1fr);gap:32px;padding:36px}
  .final-cta h2{font-size:39px}
}
@media(max-width:680px){
  :root{scroll-padding-top:100px;--header-height:72px}
  [id]{scroll-margin-top:0}
  body{font-size:17px;line-height:1.65}
  .wrap{width:calc(100% - 40px)}
  .site-header{padding:13px 20px;gap:14px;min-height:72px}
  .site-header .wordmark{font-size:27px}
  .header-context{display:none}
  .button-small{font-size:12px;padding:10px 12px;gap:9px;min-height:48px}
  .button-small span[aria-hidden]{font-size:17px}
  .hero{padding-top:24px;padding-bottom:33px}
  .breadcrumb{font-size:9px;gap:6px;margin-bottom:37px;line-height:1.8}
  .hero>.eyebrow{font-size:9px;letter-spacing:.07em;margin-bottom:20px}
  .hero h1{font-size:clamp(42px,9.7vw,62px);line-height:1.06;letter-spacing:-.045em;margin-bottom:27px}
  .answer{font-size:17px;line-height:1.7;letter-spacing:0}
  .byline{flex-wrap:wrap;gap:12px;margin-top:25px}
  .byline>div:not(.dates){max-width:calc(100% - 60px)}
  .byline>div>span{font-size:10px;line-height:1.65}
  .dates{flex-basis:100%;border-left:0;padding:12px 0 0;margin:0;gap:4px}
  .dates>span{font-size:9px!important}
  .lead-download{font-size:14px;gap:6px;margin-top:24px}
  .lead-download>span{font-size:11px;line-height:1.7;max-width:38ch}
  .takeaways{margin-top:33px;padding:24px 0;gap:19px}
  .takeaways h2{font-size:10px}
  .takeaways>div{grid-template-columns:1fr;gap:17px}
  .takeaways p{font-size:14px;line-height:1.6;max-width:48ch}
  .takeaways p strong{font-size:14px;display:inline;margin-right:3px}
  .key-facts{grid-template-columns:repeat(2,minmax(0,1fr));gap:23px 18px;padding-top:25px}
  .key-facts li{padding-left:12px}
  .key-facts strong{font-size:13px}
  .key-facts span{font-size:10px;line-height:1.6}
  .visual-cta{grid-template-columns:1fr;gap:30px;padding:30px 25px;margin-top:9px}
  .visual-cta .eyebrow{font-size:9px;letter-spacing:.07em}
  .visual-cta h2{font-size:38px;margin-top:17px;margin-bottom:18px;line-height:1.1}
  .visual-cta-copy>p:not(.eyebrow){font-size:14px;max-width:39ch}
  .visual-cta .button{font-size:12px;gap:10px;max-width:100%;padding:13px 14px;margin-top:23px}
  .visual-cta .micro{font-size:9px;line-height:1.7}
  .hero-exhibit{padding:22px 20px;width:100%;max-width:480px}
  .exhibit-top{font-size:8px;flex-wrap:nowrap;gap:9px}
  .exhibit-expression{font-size:27px;padding:27px 0}
  .exhibit-measure>span{font-size:10px;max-width:145px}
  .exhibit-measure strong{font-size:27px}
  .exhibit-note{font-size:10px}
  .reading-layout{margin-top:42px}
  .contents{padding-bottom:23px;margin-bottom:35px}
  .contents nav{gap:3px 16px}
  .contents nav>a{font-size:10px;line-height:1.55;padding:8px 0;max-width:100%}
  .article-body>section{margin-bottom:49px;padding-top:29px}
  .article-body .section-index,.article-body .section-kicker{font-size:9px;margin-bottom:16px;letter-spacing:.08em}
  .article-body h2{font-size:36px;line-height:1.15;letter-spacing:-.035em;margin-bottom:23px}
  .article-body h3{font-size:21px;line-height:1.4;margin-top:30px;margin-bottom:13px}
  .article-body p{line-height:1.75;margin-bottom:19px}
  pre{font-size:11px;line-height:1.9;padding:20px 17px}
  code{font-size:.82em}
  table{min-width:560px;font-size:13px}
  caption{font-size:10px;padding:13px 14px}
  th,td{padding:13px 14px}
  thead th{font-size:9px}
  .table-scroll,.table-wrap{margin:23px 0}
  #tools table{min-width:760px}
  .result-strip{gap:12px;padding:20px 0;margin:25px 0}
  .result-strip>div{padding-left:10px}
  .result-strip strong{font-size:30px}
  .result-strip span{font-size:9px;line-height:1.65}
  .note{padding:19px 18px;margin:24px 0}
  .note>strong{font-size:14px}
  .article-body .note p{font-size:13px;line-height:1.8}
  .artifact-links{font-size:11px;gap:10px 16px}
  .step-number{width:26px;height:26px;vertical-align:1px;margin-right:6px;font-size:12px}
  .evidence-chain{align-items:stretch;flex-direction:column;gap:12px;margin-top:26px;padding:22px 0}
  .evidence-chain>div{display:grid;grid-template-columns:90px minmax(0,1fr);column-gap:12px;align-items:baseline}
  .evidence-chain>div>span{margin:0;font-size:9px}
  .evidence-chain strong{font-size:15px}
  .evidence-chain small{grid-column:2;font-size:11px;margin-top:3px}
  .chain-arrow{font-size:22px;line-height:1;transform:rotate(90deg);align-self:center}
  .lab-widget{padding:18px 15px;margin-top:24px;border-radius:3px}
  .lab-heading{gap:17px;padding-bottom:18px}
  .lab-label{font-size:9px}
  .lab-expression{font-size:26px;margin-top:9px}
  .article-body .lab-scope{font-size:10px;line-height:1.8}
  .lab-presets{gap:6px;margin:18px 0 22px}
  .lab-widget button{font-size:10px;padding:11px 10px;min-height:48px}
  .lab-metrics{gap:10px;margin:20px 0 23px}
  .lab-metrics>div{padding-left:9px}
  .lab-metrics strong{font-size:32px}
  .lab-metrics span{font-size:9px;line-height:1.65;margin-top:7px}
  .lab-table-wrap{margin:0 0 20px}
  .lab-table{min-width:680px}
  .lab-table caption{max-width:680px;font-size:10px}
  .lab-table th,.lab-table td{padding:7px}
  .lab-pair-panel{padding:17px 14px}
  .lab-condition-buttons{gap:6px}
  .lab-condition-buttons button{font-size:10px;padding:9px 10px}
  .article-body .lab-pair-panel h3{font-size:18px;margin:20px 0 11px}
  .article-body #lab-pair-explanation{font-size:12px;line-height:1.75}
  .lab-pairs .lab-pair{font-size:12px;min-width:120px}
  .lab-missing-pair{font-size:12px}
  .article-body .lab-help{font-size:12px;line-height:1.8;margin:20px 0}
  .lab-export{gap:8px;padding-top:18px}
  .lab-export>span{flex-basis:100%;font-size:11px;padding:0;margin-bottom:4px}
  .lab-export button{flex:1;font-size:10px}
  .article-body .lab-status{font-size:9px;line-height:1.8}
  .video-section video{margin-top:22px}
  summary{font-size:14px;min-height:54px;line-height:1.55}
  .article-body .transcript p{font-size:13px;line-height:1.85}
  .transcript h2,.transcript h3{font-size:15px;line-height:1.5}
  .inline-action{font-size:13px}
  .next-steps{grid-template-columns:1fr;margin:27px 0 30px}
  .next-steps>div,.next-steps>div+div{padding:25px 0;border-left:0;border-top:1px solid var(--line)}
  .next-steps>div:first-child{border-top:0}
  .article-body .next-steps h3{font-size:30px;margin:13px 0}
  .article-body .next-steps p{font-size:14px;line-height:1.75;max-width:46ch;margin-bottom:12px}
  .next-steps a{font-size:12px;min-height:44px;padding:8px 0}
  .proof-boundary{padding:25px 22px;margin-top:28px}
  .article-body .proof-boundary h3{font-size:30px;line-height:1.2}
  .article-body .proof-boundary p:not(.eyebrow){font-size:14px;line-height:1.8}
  .proof-boundary>a{font-size:12px}
  .source-feature{padding:23px 22px;margin:25px 0}
  .article-body .source-feature h3{font-size:27px;line-height:1.2}
  .article-body .source-feature p{font-size:13px;line-height:1.8}
  .source-list{padding-left:20px}
  .source-list>li{font-size:13px;padding-left:4px;padding-top:13px;padding-bottom:15px}
  .source-list>li>span{font-size:11px;line-height:1.8}
  .faq summary{font-size:16px;line-height:1.6;padding-top:18px;padding-bottom:18px}
  .article-body .faq details p{font-size:14px;line-height:1.85;padding-bottom:23px}
  .changelog>div{grid-template-columns:1fr;gap:10px;margin-top:22px}
  .changelog h2{font-size:31px}
  .changelog time{font-size:10px}
  .article-body .changelog p{font-size:13px;line-height:1.8}
  .related-grid{grid-template-columns:1fr;margin-top:25px}
  .related-grid>a{padding:23px 25px 29px}
  .related-grid>a>strong{font-size:28px;max-width:100%}
  .article-body .related-grid p{font-size:13px;max-width:42ch}
  .final-cta{grid-template-columns:1fr;gap:34px;padding:31px 25px;margin-top:0;margin-bottom:48px}
  .final-cta .eyebrow{font-size:9px;line-height:1.8;letter-spacing:.07em}
  .final-cta h2{font-size:39px;line-height:1.1;margin-top:19px;margin-bottom:22px}
  .final-cta>div>p:not(.eyebrow){font-size:14px;line-height:1.75}
  .final-cta .button{font-size:13px;padding:13px 16px;gap:13px;margin-top:24px}
  .final-secondary{font-size:11px;line-height:1.8}
  .final-record{padding:28px 0 0;border-left:0;border-top:1px solid #5b6a52}
  .final-record>span{margin-bottom:22px;font-size:9px}
  .final-record>div{padding-left:36px;margin-bottom:20px}
  .final-record strong{font-size:16px}
  .final-record small{font-size:10px}
  .final-record>p{font-size:26px!important;padding-top:5px}
  .site-footer{grid-template-columns:1fr;gap:18px;padding-bottom:28px}
  .site-footer>p{font-size:12px;max-width:33ch}
  .site-footer>nav{gap:9px 22px;grid-column:auto}
  .site-footer>nav a{font-size:11px;min-height:32px}
  .site-footer>span{font-size:9px;margin-top:3px;padding-top:19px}
}
@media(max-width:360px){
  .wrap{width:calc(100% - 32px)}
  .site-header{padding-inline:16px}
  .site-header .wordmark{font-size:25px}
  .button-small{font-size:11px;padding-inline:10px}
  .hero h1{font-size:39px}
  .visual-cta,.final-cta{padding-inline:21px}
  .visual-cta h2,.final-cta h2{font-size:35px}
  .exhibit-expression{font-size:24px}
  .exhibit-top{flex-wrap:wrap}
  .exhibit-measure>span{font-size:9px;max-width:120px}
  .article-body h2{font-size:33px}
  .lab-metrics strong{font-size:29px}
  .lab-widget{padding-inline:12px}
}
@media(prefers-reduced-motion:reduce){
  :root{scroll-behavior:auto}
  *,*::before,*::after{transition:none!important;animation:none!important;scroll-behavior:auto!important}
}

/* Printed evidence retains data, source links and expanded explanations. */
@media print{
  @page{size:A4;margin:17mm}
  :root{font-size:10pt;background:#fff;color:#000;scroll-behavior:auto}
  body{font-size:10pt;line-height:1.5;background:#fff;color:#000}
  *{box-shadow:none!important;text-shadow:none!important}
  .site-header,.skip,.contents,.site-footer,.lead-download,.button,.final-secondary,.lab-presets,.lab-condition-buttons,.lab-export,.inline-action,.final-cta,.visual-cta-copy .micro{display:none!important}
  .wrap{width:100%;max-width:none;margin:0}
  .hero{padding:0}
  .breadcrumb{margin-bottom:12pt;font-size:8pt}
  .hero h1{font-size:33pt;line-height:1.1;margin-bottom:16pt}
  .answer{font-size:12pt;line-height:1.5;max-width:none}
  .byline{margin-top:12pt;font-size:8pt}
  .byline>div>span,.dates>span{font-size:7pt!important}
  .takeaways{padding:12pt 0;margin-top:15pt;gap:12pt;grid-template-columns:100pt 1fr}
  .takeaways>div{display:block}
  .takeaways p{font-size:9pt;margin-bottom:5pt}
  .takeaways p strong{font-size:9pt;display:inline}
  .key-facts{gap:12pt;padding-top:12pt}
  .key-facts strong{font-size:9pt}
  .key-facts span{font-size:7pt}
  .visual-cta{display:grid;grid-template-columns:1fr 1fr;background:#fff;color:#000;padding:15pt 0;margin:18pt 0;border-block:1px solid #999;gap:20pt}
  .visual-cta h2{font-size:23pt}
  .visual-cta .eyebrow,.visual-cta-copy>p:not(.eyebrow){color:#000;font-size:9pt}
  .hero-exhibit{background:#fff;color:#000;border:1px solid #999;padding:14pt}
  .exhibit-top,.exhibit-expression>span,.exhibit-measure>span,.exhibit-measure i,.exhibit-note,.exhibit-note a,.status-good,.status-gap{color:#000}
  .exhibit-expression{font-size:20pt;padding:15pt 0}
  .exhibit-measure strong{font-size:19pt}
  .exhibit-measure>span,.exhibit-note{font-size:8pt}
  .reading-layout{display:block;margin-top:18pt}
  .article-body{max-width:none}
  .article-body>section{padding-top:14pt;margin-bottom:22pt}
  .article-body h2{font-size:24pt;margin-bottom:12pt}
  .article-body h3{font-size:13pt;margin:16pt 0 8pt}
  .article-body p{font-size:10pt!important;line-height:1.55!important;margin-bottom:10pt;max-width:none}
  h1,h2,h3,caption,summary{break-after:avoid}
  p{orphans:3;widows:3}
  table{min-width:0!important;width:100%;font-size:8pt!important;table-layout:auto}
  th,td{font-size:8pt;padding:7pt!important;overflow-wrap:anywhere!important}
  thead{display:table-header-group}
  tr{break-inside:avoid}
  caption{font-size:8pt;background:#fff;color:#000;padding:8pt}
  thead th{font-size:7pt;background:#eee!important;color:#000}
  .table-scroll,.table-wrap,.lab-table-wrap{overflow:visible;width:100%;max-width:100%;margin:14pt 0;border-color:#aaa}
  pre{white-space:pre-wrap!important;overflow:visible;font-size:8pt;line-height:1.5;padding:12pt;background:#f0f0f0;color:#000;border:1px solid #aaa}
  pre code{white-space:pre-wrap!important;overflow-wrap:anywhere!important;word-break:break-word}
  .result-strip{padding:12pt 0;margin:14pt 0;gap:12pt}
  .result-strip strong{font-size:26pt}
  .result-strip span{font-size:8pt}
  .note,.proof-boundary,.source-feature{background:#f3f3f0;padding:12pt;margin:14pt 0;break-inside:avoid}
  .note>strong,.proof-boundary>a,.source-feature>a{font-size:10pt}
  .evidence-chain{flex-direction:row;margin-top:14pt;padding:12pt 0;gap:12pt}
  .evidence-chain>div{display:block}
  .evidence-chain strong{font-size:10pt}
  .evidence-chain small{font-size:8pt}
  .chain-arrow{transform:none}
  .lab-widget{padding:12pt;border:1px solid #999;background:#fff}
  .lab-heading{gap:12pt;padding-bottom:12pt}
  .lab-label,.lab-scope{font-size:8pt}
  .lab-expression{font-size:19pt}
  .lab-metrics{margin:14pt 0;gap:12pt}
  .lab-metrics strong{font-size:24pt}
  .lab-metrics span{font-size:8pt}
  .lab-table{min-width:0!important;table-layout:auto}
  .lab-table th,.lab-table td{padding:5pt!important;font-size:8pt}
  .lab-table th:first-child{width:25pt}
  .lab-table input[type="checkbox"]{width:15pt;height:15pt}
  .lab-result{min-width:0;padding:2pt;font-size:8pt}
  .lab-table code{font-size:8pt}
  .lab-table caption{max-width:none}
  .lab-trace{white-space:normal}
  .lab-pair-panel{padding:10pt;background:#f5f5f2}
  .lab-pairs .lab-pair{display:inline-block!important;border:0;background:none!important;color:#000!important;padding:3pt 0;min-height:0;min-width:0;font-size:9pt}
  .lab-status{font-size:8pt!important}
  video{display:none!important}
  .transcript{display:block;border:0;margin:12pt 0}
  details::details-content{display:block;content-visibility:visible}
  details>*:not(summary){display:block!important}
  summary{list-style:none;font-size:11pt;min-height:0;padding:8pt 0}
  .transcript h2,.transcript h3{font-size:11pt}
  .next-steps{grid-template-columns:repeat(3,minmax(0,1fr));margin:14pt 0}
  .next-steps>div,.next-steps>div+div{padding:12pt;border-left:1px solid #aaa}
  .next-steps>div:first-child{border-left:0}
  .article-body .next-steps h3{font-size:16pt}
  .next-steps a{font-size:8pt;min-height:0}
  .source-list{padding-left:16pt}
  .source-list>li{font-size:9pt;padding:7pt 0 8pt 3pt;break-inside:avoid}
  .source-list>li>span{font-size:8pt}
  .faq details{break-inside:avoid}
  .faq summary{font-size:11pt;padding:9pt 0}
  .article-body .faq details p{padding-bottom:10pt}
  .changelog>div{grid-template-columns:85pt 1fr;gap:12pt;margin-top:12pt}
  .changelog time{font-size:8pt}
  .related-grid{grid-template-columns:repeat(2,minmax(0,1fr));margin-top:15pt}
  .related-grid>a{padding:12pt;break-inside:avoid}
  .related-grid>a>strong{font-size:16pt;max-width:none}
  .related-grid>a>span{font-size:7pt}
  .related-grid p{font-size:9pt!important}
  .related-grid b{display:none}
  .micro,.eyebrow,.section-index,.section-kicker{color:#333!important;font-size:8pt!important}
  a{color:#000;text-decoration-color:#777}
  .cite,sup a{color:#000}
}

/* Native checkbox with a generous label target and a compact visual mark. */
.lab-check{display:inline-flex;align-items:center;justify-content:center;width:44px;height:44px;cursor:pointer}
.lab-table .lab-check input[type="checkbox"]{width:20px;height:20px;min-width:20px;min-height:20px;margin:0;accent-color:var(--ink)}
pre{position:relative;padding-top:54px}
pre .copy-code{position:absolute;right:10px;top:8px;min-height:36px;padding:5px 12px;background:#3b4a3e;border-color:#6b7a66;color:var(--paper);font-size:11px}
pre .copy-code:focus-visible{outline-color:#d7e8c1}
@media print{pre .copy-code{display:none}pre{padding-top:12pt}}

/* Source quotation and compact calculation added after the search-intent review. */
.expert-quote{margin:30px 0;padding:24px 28px;border-left:3px solid var(--sage);background:var(--wash)}
.article-body .expert-quote p{font-family:var(--heading);font-size:25px;line-height:1.45;margin:0 0 14px}
.expert-quote footer{font-size:12px;line-height:1.65;color:var(--muted)}
@media(max-width:620px){.quick-links{gap:7px 16px;font-size:12px}.quick-links>span{flex-basis:100%}.key-facts li:last-child{grid-column:1/-1}.calculation-rule{padding:20px}.calculation-rule span{font-size:12px}.expert-quote{padding:20px}.article-body .expert-quote p{font-size:23px}}

/* Proof's language breadth remains readable without implying identical engines. */
.proof-languages{display:flex;flex-wrap:wrap;gap:8px;list-style:none;padding:0;margin:22px 0}
.article-body .proof-languages li{font:12px/1.3 var(--mono);padding:8px 12px;border:1px solid #b9c5aa;background:var(--paper);margin:0;color:var(--ink)}
.proof-evidence .artifact-links{margin-bottom:0}
.proof-project{margin-top:28px;padding-top:24px;border-top:1px solid #b9c5aa}
.proof-project h4{font-family:var(--heading);font-size:27px;font-weight:400;line-height:1.25;letter-spacing:-.02em;margin:0 0 16px}
.proof-project .artifact-links{margin-bottom:0}
@media(max-width:620px){.article-body .proof-languages li{font-size:11px;padding:7px 10px}.proof-languages{gap:7px}}

/* Verification-plan additions to Proof's shared editorial layout. */
.facts-source{margin-top:13px;color:var(--muted);font-size:11px}
.plan-record{align-self:center;border:1px solid #65745e;background:#1c2821;padding:26px 29px;border-radius:3px;min-width:0}
.plan-record h3{font-family:var(--heading);font-size:32px;line-height:1.2;font-weight:400;margin:24px 0;letter-spacing:-.02em}
.plan-record dl{margin:0}
.plan-record dl>div{display:grid;grid-template-columns:90px minmax(0,1fr);gap:15px;padding:13px 0;border-top:1px solid #485743;line-height:1.6;font-size:12px}
.plan-record dt{color:#c3d0b8;font-family:var(--mono);font-size:10px}
.plan-record dd{margin:0;color:#e6eadd}
.plan-record>p{font-size:11px;color:#c8d3be;margin-top:24px;line-height:1.8}
.status-label{display:inline-block;font:500 10px/1.5 var(--mono);padding:5px 8px;border:1px solid #c6cbbd;border-radius:2px;background:#eceee7;color:#46513f;white-space:nowrap}
.status-passed{background:#e5eed8;border-color:#a9be8e;color:#314a1c}
.status-partial,.status-planned,.status-not_run,.status-not_performed{background:#f2e9d9;border-color:#cabb9e;color:#645028}
.status-failed,.status-error,.status-stale,.status-invalid{background:#f5e0d7;border-color:#cf9f8d;color:#8b321c}
.download-options{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;margin:28px 0 34px}
.download-card{display:block;padding:23px 20px;background:var(--white);border:1px solid var(--line);text-decoration:none;min-width:0;border-radius:2px}
.download-card:hover{background:var(--wash);border-color:#92a57e}
.download-card>span{display:block;font:9px/1.5 var(--mono);letter-spacing:.045em;color:var(--muted);margin-bottom:17px}
.download-card strong{display:block;font-size:16px;line-height:1.5;margin-bottom:8px;text-decoration:underline;text-underline-offset:4px}
.download-card small{display:block;font-size:11px;line-height:1.7;color:var(--muted)}
.experiment-metrics{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:20px;padding:25px 0;border-block:1px solid var(--line);margin:28px 0}
.experiment-metrics>div{border-left:2px solid #b3c399;padding-left:20px;min-width:0}
.experiment-metrics>div:nth-child(2){border-color:#b18459}
.experiment-metrics strong{display:block;font:400 45px/1.2 var(--mono);letter-spacing:-.06em}
.experiment-metrics>div:nth-child(2) strong{color:var(--gap)}
.experiment-metrics span{display:block;font-size:12px;line-height:1.5;margin-top:10px}
.experiment-metrics small{display:block;font-size:10px;color:var(--muted);line-height:1.7;margin-top:3px}
.plan-explorer{border:1px solid #a9b69b;border-radius:3px;padding:27px;background:var(--white);margin:32px 0;box-shadow:0 3px 0 #dfe5d5}
.article-body .explorer-top h3{font-family:var(--heading);font-size:31px;font-weight:400;line-height:1.15;margin:12px 0}
.article-body .explorer-top p{font-size:12px;line-height:1.7;margin-bottom:18px;color:var(--muted)}
.stage-controls{display:flex;gap:8px;flex-wrap:wrap;border-top:1px solid var(--line);padding-top:20px;margin-top:20px}
.stage-controls button,.explorer-export button{min-height:48px;border:1px solid #a9b79a;padding:11px 13px;background:transparent;color:var(--ink);font-size:11px;font-weight:600;border-radius:2px}
.stage-controls button[aria-pressed="true"]{background:var(--ink);border-color:var(--ink);color:var(--paper)}
.stage-controls button:hover:not([aria-pressed="true"]),.explorer-export button:hover{background:var(--wash)}
.article-body #stage-description{font-size:13px;line-height:1.7;margin:20px 0 24px;min-height:67px}
.stage-summary{display:grid;grid-template-columns:1fr 1fr 1.35fr;gap:15px;margin:24px 0;border-bottom:1px solid var(--line);padding-bottom:25px}
.stage-summary>div{border-left:2px solid #aebf9a;padding-left:15px;min-width:0}
.stage-summary>div:last-child{border-color:#b58c6d}
.stage-summary strong{display:block;font:400 37px/1.3 var(--mono);letter-spacing:-.045em}
.stage-summary>div:last-child strong{font:400 26px/1.8 var(--heading);letter-spacing:-.015em;color:var(--gap)}
.stage-summary span{display:block;font-size:10px;line-height:1.7;color:var(--muted);margin-top:6px}
.filter-control{display:flex;align-items:center;gap:10px;font-size:12px;min-height:44px;cursor:pointer;width:fit-content}
.filter-control input{width:20px;height:20px;accent-color:var(--ink);margin:0}
.plan-explorer .table-scroll{margin:14px 0 20px}
.plan-explorer table{font-size:12px;min-width:610px}
.plan-explorer th,.plan-explorer td{padding:12px 13px}
.plan-explorer th small{display:block;font:9px/1.6 var(--mono);color:var(--muted);margin-top:4px}
.plan-explorer caption{font-size:11px;padding:13px;line-height:1.65}
.article-body .validation-status{font-size:12px;padding:14px 16px;border-left:2px solid #b8a780;background:#f5f0e6;line-height:1.75;margin:22px 0}
.article-body .validation-status strong{display:block}
.case-details{border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin:24px 0}
.case-details>summary{font-size:14px;line-height:1.5}
.case-details>div{padding:2px 0 22px}
.case-picker{display:flex;align-items:center;flex-wrap:wrap;gap:10px;font-size:12px;margin:16px 0}
.case-picker select{max-width:100%;padding:10px 12px;border:1px solid #b5c0aa;background:var(--paper);color:var(--ink);font-size:12px;min-height:44px;border-radius:2px}
.article-body #case-detail-title{font-size:16px;line-height:1.5;margin:20px 0 5px}
.article-body #case-detail-state{font:10px/1.6 var(--mono);color:var(--gap);margin-bottom:16px}
.observation-grid{display:grid;grid-template-columns:1fr 1fr;gap:12px}
.observation-grid>div{min-width:0}
.observation-grid h4{font-size:12px;font-weight:500;line-height:1.5}
.observation-grid pre{font-size:10px;line-height:1.7;max-height:420px;overflow:auto;padding:16px;margin:10px 0 0;background:#edf0e6;color:var(--ink);border:1px solid var(--line);white-space:pre-wrap;overflow-wrap:anywhere}
.explorer-export{display:flex;flex-wrap:wrap;gap:9px;align-items:center;border-top:1px solid var(--line);padding-top:21px;margin-top:22px}
.explorer-export>span{font-size:11px;flex:1 1 220px;line-height:1.7}
.explorer-export button{font-size:10px}
.article-body #run-provenance,.article-body #explorer-status{font:9px/1.8 var(--mono);color:var(--muted);margin:16px 0 0}
.article-body #explorer-status{min-height:32px}
.article-body .explorer-nojs{font-size:12px;line-height:1.7;background:var(--wash);padding:16px}
.review-columns{display:grid;grid-template-columns:1fr 1fr;gap:28px;border-block:1px solid var(--line);padding:4px 0 20px;margin:28px 0}
.review-columns h3{font-size:19px}
.review-columns li{font-size:14px;line-height:1.75;margin-bottom:10px}
.evidence-sequence{padding:0!important;list-style:none;display:grid;grid-template-columns:1fr 1fr;gap:12px;margin:22px 0!important}
.evidence-sequence li{font-size:13px;line-height:1.75;background:var(--wash);padding:20px;border-left:2px solid #b2c29b}
.evidence-sequence strong{display:block;font-size:17px;margin-bottom:6px}
[hidden]{display:none!important}
@media(max-width:900px){.plan-explorer{padding:23px}.download-options{gap:10px}.download-card{padding:20px 17px}}
@media(max-width:680px){
 .plan-record{padding:23px 22px}.plan-record h3{font-size:29px}.plan-record dl>div{grid-template-columns:73px minmax(0,1fr);gap:10px}
 .download-options{grid-template-columns:1fr}.download-card{padding:19px 21px}.download-card>span{margin-bottom:8px}
 .experiment-metrics{gap:12px}.experiment-metrics>div{padding-left:11px}.experiment-metrics strong{font-size:35px}.experiment-metrics span{font-size:11px}.experiment-metrics small{font-size:9px}
 .plan-explorer{padding:20px 16px}.article-body .explorer-top h3{font-size:29px}.stage-controls{gap:7px}.stage-controls button{font-size:10px;padding:10px 11px}
 .stage-summary{grid-template-columns:1fr 1fr;gap:20px 12px}.stage-summary>div:last-child{grid-column:1/-1}.stage-summary strong{font-size:35px}.stage-summary>div:last-child strong{font-size:28px;line-height:1.3}
 .article-body #stage-description{min-height:0}.observation-grid{grid-template-columns:1fr}.observation-grid pre{font-size:10px;max-height:300px}
 .review-columns,.evidence-sequence{grid-template-columns:1fr}.review-columns{gap:0}.review-columns>div+div{border-top:1px solid var(--line)}
 .evidence-sequence li{padding:18px}.article-body #run-provenance{overflow-wrap:anywhere}.facts-source{font-size:10px;line-height:1.65}
}
@media print{
 .stage-controls,.filter-control,.explorer-export,.case-picker{display:none!important}.plan-explorer{padding:12pt;background:#fff;box-shadow:none}.plan-record{color:#000;background:#fff;border-color:#aaa}.plan-record h3{font-size:19pt}.plan-record dt,.plan-record dd,.plan-record .exhibit-top,.plan-record>p{color:#000}.plan-record dl>div{font-size:8pt;border-color:#aaa}.plan-record>p{font-size:8pt}
 .download-options{display:none}.experiment-metrics strong,.stage-summary strong{font-size:25pt}.stage-summary>div:last-child strong{font-size:18pt}.observation-grid pre{max-height:none;overflow:visible;white-space:pre-wrap;font-size:7pt}.case-details{break-inside:avoid}.review-columns{gap:18pt}.review-columns li{font-size:9pt}.evidence-sequence li{font-size:9pt}.evidence-sequence strong{font-size:11pt}
}

/* Site navigation and the shared footer, scoped to this standalone guide. */
.header-explore{font:11px/1.4 var(--mono);text-decoration:none;white-space:nowrap;padding:12px 0}
.header-explore:hover{text-decoration:underline}
.cta-short{display:none}
.site-footer.foot{display:block;height:auto;margin-top:2rem;padding:2rem 0 2.6rem;border-top:1px solid #d3d2c8;background:var(--paper);color:var(--ink)}
.site-footer.foot .wrap{width:min(1180px,calc(100% - 48px));margin:0 auto}
.site-footer.foot .foot-line{margin:0;font-family:var(--mono);font-size:.74rem;line-height:1.9;color:var(--muted)}
.site-footer.foot .foot-line a{color:var(--ink);text-decoration:none;border-bottom:1px solid #b7b6ac}
.site-footer.foot .foot-line a:hover{color:var(--sage-dark);border-bottom-color:var(--sage-dark)}
.site-footer.foot .foot-line .sep{color:#b7b6ac;padding:0 .35em}
.site-footer.foot .foot-seed{color:var(--muted)}
.site-footer.foot .foot-cols{display:grid;grid-template-columns:repeat(7,minmax(0,1fr));gap:1.5rem 1.2rem;margin:1.6rem 0 0;padding-top:1.4rem;border-top:1px solid #d3d2c8}
.site-footer.foot .foot-col{min-width:0}
.site-footer.foot .foot-col-h{margin:0 0 .55rem;font-family:var(--mono);font-size:max(12px,.72rem);font-weight:500;letter-spacing:.1em;text-transform:uppercase;color:var(--muted)}
.site-footer.foot .foot-col a{display:block;font-family:var(--mono);font-size:max(13px,.8rem);line-height:1.75;color:var(--ink);text-decoration:none;padding-block:1px}
.site-footer.foot .foot-col a:hover{color:var(--sage-dark);text-decoration:underline;text-underline-offset:.22em}
@media(max-width:1100px){.site-footer.foot .foot-cols{grid-template-columns:repeat(4,minmax(0,1fr))}}
@media(max-width:700px){.site-footer.foot .foot-cols{grid-template-columns:repeat(2,minmax(0,1fr))}}
@media(max-width:680px){.header-explore{margin-left:auto;font-size:10px}.site-header{gap:10px}.site-header>.button{margin-left:0;font-size:11px;padding-inline:8px;gap:7px}.cta-full{display:none}.cta-short{display:inline}}
@media print{.site-footer.foot{display:none!important}}

/* Reuse the existing compact guide header before tablet-width labels overflow. */
@media(max-width:900px){.site-header .header-context{display:none}.site-header .cta-full{display:none}.site-header .cta-short{display:inline}.site-header .header-explore{margin-left:auto}.site-header>.button{margin-left:0}}