*{box-sizing:border-box}body{margin:0;min-width:320px;background:var(--color-canvas);color:var(--color-text);font-family:var(--font-ui);font-size:var(--text-body-lg);line-height:var(--leading-body)}a{color:var(--color-accent);text-decoration:none}a:hover{text-decoration:underline;text-underline-offset:var(--space-4)}button,a,summary{cursor:pointer}a:focus-visible,summary:focus-visible,pre:focus-visible{outline:var(--focus-width) solid var(--color-accent);outline-offset:var(--focus-offset)}h1,h2,h3,p,figure{margin:0}h2{font-size:var(--text-heading);font-weight:var(--weight-semibold);line-height:var(--leading-heading);letter-spacing:var(--tracking-tight)}h3{font-size:var(--text-body-lg);font-weight:var(--weight-semibold)}code,pre{font-family:var(--font-mono)}p{color:var(--color-text-body)}.proofline-frame{max-width:1440px;margin:auto;padding:var(--space-20) var(--space-64) var(--space-48)}.defense-header{display:flex;justify-content:space-between;align-items:center;gap:var(--space-24);padding-bottom:var(--space-16);border-bottom:1px solid var(--color-border)}.header-actions,.locale-switch{display:flex;align-items:center;gap:var(--space-24)}.locale-switch{gap:var(--space-2)}.skip-link{position:fixed;left:var(--space-16);top:var(--space-8);padding:var(--space-8);background:var(--color-surface-raised);z-index:100;transform:translateY(-200%)}.skip-link:focus{transform:none}.sr-only{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%)}.unused-hero{display:grid;grid-template-columns:1fr 1fr;gap:var(--space-48);align-items:center;padding:var(--space-24) 0 var(--space-24)}.eyebrow{font-size:var(--text-body);color:var(--color-accent);font-weight:var(--weight-semibold);margin-bottom:var(--space-24)}h1{font-size:var(--text-hero-xl);font-weight:var(--weight-semibold);letter-spacing:var(--tracking-heading);line-height:var(--leading-tight);text-wrap:balance}.lead{font-size:var(--text-title);line-height:var(--leading-prose);margin-top:var(--space-24);max-width:620px}.hero-actions{display:flex;gap:var(--space-24);align-items:center;flex-wrap:wrap;margin-top:var(--space-28)}.hero-actions .ui-button{font-size:var(--text-body-lg);min-height:var(--control-size-touch)}.source-link{display:inline-flex;align-items:center;gap:var(--space-12);font-size:var(--text-body);min-height:var(--control-size-touch)}.release{font-size:var(--text-body);margin-top:var(--space-24)}.audit-graph h2{font-size:var(--text-title-lg);margin-bottom:var(--space-16)}.graph-steps{list-style:none;padding:0;margin:0}.graph-node{display:flex;gap:var(--space-16);align-items:center}.graph-node>i{width:var(--space-40);flex-shrink:0;text-align:center;font-size:var(--text-display);color:var(--color-accent)}.graph-node h3{line-height:var(--leading-heading)}.graph-node p{font-size:var(--text-body-sm);margin-top:var(--space-2);overflow-wrap:anywhere}.graph-node code{font-size:var(--text-body-sm)}.graph-connector{display:flex;gap:var(--space-12);align-items:center;padding:0 0 0 var(--space-14);font-size:var(--text-caption);color:var(--color-text-body);min-height:var(--space-20)}.graph-connector i{transform:rotate(90deg)}.owner-step{border-top:1px dashed var(--color-border);padding-top:var(--space-8)}figcaption{font-size:var(--text-caption);color:var(--color-text-body);margin-top:var(--space-12)}.quickstart{border-top:1px solid var(--color-border);padding:var(--space-24) 0 var(--space-16);scroll-margin-top:var(--space-20)}.section-heading{display:flex;justify-content:space-between;align-items:center;gap:var(--space-24)}.section-heading p{font-size:var(--text-body);margin-top:var(--space-4)}.install-options,.example-options{display:flex;flex-wrap:wrap;gap:var(--space-8);margin:var(--space-16) 0 var(--space-12)}.code-surface{position:relative;background:var(--color-control);border:1px solid var(--color-border);border-radius:var(--radius-control)}pre{margin:0;padding:var(--space-16) var(--space-24);overflow:auto;font-size:var(--text-body);line-height:var(--leading-prose);tab-size:2;white-space:pre;max-width:100%;scrollbar-gutter:stable}#installCode,#kitCode,#exampleCode{padding-right:120px}.copy-button{position:absolute;top:var(--space-10);right:var(--space-10);display:flex;gap:var(--space-8);align-items:center}.install-help,.clipboard-status{font-size:var(--text-body-sm);margin-top:var(--space-8)}.clipboard-status{min-height:var(--space-20);color:var(--color-accent)}details{border-top:1px solid var(--color-border);padding:var(--space-16) 0}summary{display:flex;gap:var(--space-16);align-items:center;font-size:var(--text-body-lg);font-weight:var(--weight-semibold);list-style:none}summary::-webkit-details-marker{display:none}summary:before{content:'+';font-family:var(--font-mono);font-size:var(--text-title);color:var(--color-accent)}details[open]>summary:before{content:'−'}.summary-note{font-size:var(--text-body);font-weight:var(--weight-regular);color:var(--color-text-body)}.example-body,.kit-body{padding-top:var(--space-16)}.example-command{font-size:var(--text-body-sm);margin-bottom:var(--space-12);overflow-wrap:anywhere}.example-guidance{margin-top:var(--space-12);font-size:var(--text-body)}.example-provenance{font-size:var(--text-caption);margin-top:var(--space-12)}.check-groups{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:var(--space-48);padding:var(--space-16) 0;border-top:1px solid var(--color-border)}.check-groups h2{font-size:var(--text-title-lg)}.check-groups p{font-size:var(--text-body);margin-top:var(--space-8)}.profiles{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:var(--space-24);margin:var(--space-20) 0}.profiles p,.kit-body>p{font-size:var(--text-body);margin-top:var(--space-8)}.kit-body>a{display:inline-block;font-size:var(--text-body);margin-top:var(--space-12)}footer{border-top:1px solid var(--color-border);padding-top:var(--space-16);display:flex;justify-content:space-between;gap:var(--space-24);font-size:var(--text-caption);padding-bottom:var(--space-24)}:lang(ja) .lead,:lang(zh) .lead{font-size:var(--text-body-lg)}:lang(ja) p,:lang(zh) p{line-height:var(--leading-prose)}@media(max-width:1100px){.proofline-frame{padding-inline:var(--space-32)}.unused-hero{gap:var(--space-32)}h1{font-size:var(--text-hero)}.lead{font-size:var(--text-body-lg)}}@media(max-width:760px){.proofline-frame{padding:var(--space-16) var(--space-20) 100px}.defense-header{gap:var(--space-16);flex-wrap:wrap}.header-actions{gap:var(--space-12)}.unused-hero{grid-template-columns:1fr;padding-top:var(--space-32);gap:var(--space-32)}h1{font-size:var(--text-display-lg)}.eyebrow{margin-bottom:var(--space-16)}.lead{margin-top:var(--space-16)}.section-heading{flex-direction:column;align-items:flex-start;gap:var(--space-8)}.graph-node p{font-size:var(--text-body)}.graph-node code{font-size:var(--text-body-sm)}.check-groups,.profiles{grid-template-columns:1fr;gap:var(--space-24)}summary{align-items:flex-start;flex-wrap:wrap;gap:var(--space-8)}.summary-note{width:100%;padding-left:var(--space-24)}footer{flex-direction:column;gap:var(--space-12)}.copy-button{position:static;margin:var(--space-8) var(--space-12) var(--space-12)}#installCode,#kitCode,#exampleCode{padding:var(--space-16)}.install-options .ui-button,.example-options .ui-button{font-size:var(--text-body);min-height:var(--control-size-touch)}}@media(max-width:480px){.header-actions{width:100%;justify-content:space-between}.locale-switch{gap:0}}

.quickstart .install-options{margin:0}.quickstart>.code-surface{margin-top:var(--space-12)}
@media(max-width:1100px){.quickstart .section-heading{flex-wrap:wrap}.quickstart .install-options{order:3;width:100%}}
@media(max-width:760px){.quickstart .install-options{order:initial}.check-groups p{font-size:var(--text-body-lg)}.graph-connector{min-height:var(--space-28)}}
/* Leave the shared floating support action a clear area beside footer links. */
@media(min-width:761px){footer{padding-right:240px}}


.proofline-hero{padding:var(--space-32) 0}.proofline-hero h1{font-size:var(--text-hero-xl);max-width:1200px}.proofline-hero .lead{max-width:1100px;font-size:var(--text-title)}.proofline-flow{list-style:none;padding:0;margin:0;display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:var(--space-40)}.proofline-flow li{min-width:0;position:relative}.step-head{display:flex;gap:var(--space-12);min-height:100px}.step-head h2{font-size:var(--text-body-lg)}.step-head p{font-size:var(--text-body);margin-top:var(--space-8)}.step-number{border-radius:50%;background:var(--color-control);flex-shrink:0;width:var(--space-40);height:var(--space-40);display:grid;place-items:center;font-weight:var(--weight-semibold)}.story-record{border:1px solid var(--color-border);border-radius:var(--radius-control);padding:var(--space-12);height:210px;font-size:var(--text-body);overflow-wrap:anywhere}.story-record code{font-size:var(--text-caption)}.story-record p{margin-top:var(--space-12)}blockquote{margin:var(--space-16) 0;padding:var(--space-8);background:var(--color-control)}.removed{background:var(--color-danger-soft);color:var(--color-danger)}.added,.accepted{background:var(--color-success-soft);color:var(--color-success)}.review-required{background:var(--color-warning-soft);color:var(--color-warning)}dl{margin:var(--space-16) 0}dt{color:var(--color-text-body);font-size:var(--text-caption)}dd{margin:var(--space-4) 0 var(--space-12);padding:var(--space-4);width:fit-content;font-size:var(--text-body-sm)}.proofline-flow li:not(:last-child):after{content:'→';position:absolute;top:190px;right:calc(-1 * var(--space-28));color:var(--color-text-body);font-size:var(--text-title)}.caption{font-size:var(--text-caption);margin:var(--space-12) 0}.quickstart{margin-top:var(--space-20)}details>p{margin:var(--space-16) 0;font-size:var(--text-body)}@media(max-width:1100px){.proofline-flow{grid-template-columns:repeat(2,minmax(0,1fr))}.proofline-flow li:after{display:none!important}}@media(max-width:760px){.proofline-flow{grid-template-columns:1fr;gap:var(--space-24)}.step-head{min-height:0;margin-bottom:var(--space-12)}.story-record{height:auto;min-height:170px}.proofline-hero h1{font-size:var(--text-display-lg)}.proofline-hero .lead{font-size:var(--text-body-lg)}}

.proofline-flow li:after{display:none}.flow-wire{position:absolute;top:190px;right:calc(-1 * var(--space-28));width:var(--space-20);height:var(--space-12)}.flow-wire path{fill:none;stroke:var(--color-text-body);stroke-width:1;stroke-linejoin:round;stroke-linecap:round}.proofline-flow li:last-child .flow-wire{display:none}@media(max-width:1100px){.flow-wire{display:none}}

.story-record{height:250px}.story-record table{width:100%;border-collapse:collapse;font-size:var(--text-caption)}.story-record th,.story-record td{padding:var(--space-8) var(--space-2);border-bottom:1px solid var(--color-border);text-align:left}.story-record thead th{font-weight:var(--weight-semibold)}.story-record tbody th{font-weight:var(--weight-regular)}.gate-list{padding-left:var(--space-16);font-size:var(--text-caption);line-height:var(--leading-prose)}.block-state{background:var(--color-danger-soft);color:var(--color-danger);font-weight:var(--weight-semibold);padding:var(--space-8)}.story-record dd{background:none;padding:0}.flow-wire{top:210px}@media(max-width:760px){.story-record{height:auto;min-height:220px}}
@media(min-width:761px){.story-record{height:270px}}