.rtf-shell{width:min(1240px,calc(100% - 24px));padding-top:34px}.rtf-hero{display:grid;grid-template-columns:minmax(0,1fr) 330px;gap:26px;align-items:end;margin-bottom:22px}.rtf-hero h1{max-width:900px}.rtf-hero>div>p{max-width:820px;color:var(--muted);font-size:19px;line-height:1.55;margin:18px 0 0}.eyebrow{text-transform:uppercase;letter-spacing:.11em;font-weight:900;font-size:12px;color:var(--accent);margin-bottom:12px}.hero-actions{display:flex;gap:10px;flex-wrap:wrap;margin-top:20px}.scope-card{background:#111827;color:#fff;border-radius:22px;padding:20px;box-shadow:0 24px 70px rgba(17,24,39,.18)}.scope-card strong{display:block;font-size:15px}.scope-card p{margin:5px 0 16px;color:#cbd5e1;line-height:1.5;font-size:14px}.scope-card p:last-child{margin-bottom:0}.method-strip{display:flex;align-items:center;justify-content:center;gap:12px;flex-wrap:wrap;background:#fff;border:1px solid var(--line);border-radius:18px;padding:14px 18px;margin-bottom:18px;font-weight:850;font-size:14px}.method-strip i{font-style:normal;color:#94a3b8}.work-card{background:#fff;border:1px solid var(--line);border-radius:24px;padding:24px;margin:18px 0;box-shadow:0 16px 55px rgba(17,24,39,.055)}.section-heading{display:flex;justify-content:space-between;gap:24px;align-items:flex-start;padding-bottom:18px;border-bottom:1px solid var(--line);margin-bottom:20px}.section-heading>div{display:flex;gap:12px;align-items:center}.section-heading h2{margin:0;font-size:27px;letter-spacing:-.04em}.section-heading p{margin:3px 0 0;max-width:470px;color:var(--muted);font-size:14px;line-height:1.5;text-align:right}.step-number{width:38px;height:38px;border-radius:12px;background:#111827;color:#fff;display:grid;place-items:center;font-size:12px;font-weight:900}.field-grid{display:grid;gap:15px}.field-grid.two{grid-template-columns:repeat(2,minmax(0,1fr))}.field-grid label{display:grid;gap:7px;font-weight:850;font-size:14px}.field-grid .wide{grid-column:1/-1}.field-grid input,.field-grid select,.field-grid textarea,.dynamic-row input,.dynamic-row select,.dynamic-row textarea{width:100%;border:1px solid var(--line);border-radius:13px;padding:11px 12px;background:#fff;color:var(--ink);font:inherit}.field-grid textarea,.dynamic-row textarea{resize:vertical;line-height:1.45}.field-grid input:focus,.field-grid select:focus,.field-grid textarea:focus,.dynamic-row input:focus,.dynamic-row select:focus,.dynamic-row textarea:focus{outline:3px solid rgba(37,99,235,.13);border-color:var(--accent)}.dynamic-list{display:grid;gap:10px}.dynamic-row{display:grid;gap:10px;align-items:start;background:#f8fafc;border:1px solid var(--line);border-radius:17px;padding:12px}.fact-row{grid-template-columns:minmax(170px,.8fr) minmax(220px,1.5fr) auto}.requirement-row{grid-template-columns:minmax(220px,1.5fr) minmax(140px,.6fr) minmax(140px,.6fr) minmax(190px,1fr) auto}.row-field{display:grid;gap:6px}.row-field span{font-weight:850;font-size:12px;color:#475569}.remove-row{border:1px solid var(--line);background:#fff;border-radius:11px;width:38px;height:42px;font-weight:900;cursor:pointer;color:#64748b}.remove-row:hover{border-color:#dc2626;color:#dc2626}.small-button{border:1px solid var(--line);background:#fff;color:var(--ink);border-radius:11px;padding:9px 12px;font-weight:850;cursor:pointer}.small-button:hover{border-color:#111827}.work-card>.small-button{margin-top:12px}.requirements-header{display:flex;justify-content:space-between;gap:20px;align-items:end;margin:24px 0 12px}.requirements-header h3{margin:0 0 4px;font-size:19px}.requirements-header p{margin:0;color:var(--muted);font-size:14px}.legend{font-size:12px;color:var(--muted);display:flex;gap:7px;align-items:center;flex-wrap:wrap}.dot{width:9px;height:9px;border-radius:999px;display:inline-block}.dot.available{background:#16a34a}.dot.unavailable{background:#dc2626}.dot.unclear{background:#d97706}.run-card{display:flex;justify-content:space-between;align-items:center;gap:22px;background:#111827;color:#fff;border-radius:24px;padding:23px 25px;margin:18px 0 26px}.run-card h2{margin:0 0 6px;font-size:25px}.run-card p{margin:0;color:#cbd5e1;max-width:760px;line-height:1.5}.run-button{border:0;background:#fff;color:#111827;border-radius:14px;padding:14px 19px;font-weight:950;font-size:16px;cursor:pointer;white-space:nowrap}.run-button:hover{background:#e2e8f0}.result-panel{background:#fff;border:1px solid var(--line);border-radius:25px;padding:25px;margin:20px 0;box-shadow:0 24px 80px rgba(17,24,39,.1)}.result-topline{display:flex;justify-content:space-between;gap:22px;align-items:flex-start}.result-kicker{font-weight:900;text-transform:uppercase;letter-spacing:.1em;font-size:12px;color:var(--muted)}.result-topline h2{margin:6px 0 8px;font-size:34px;letter-spacing:-.045em}.result-topline p{margin:0;color:var(--muted);font-size:16px;line-height:1.5;max-width:800px}.result-badge{border-radius:999px;padding:10px 14px;font-weight:900;background:#fff7ed;color:#9a3412;border:1px solid #fed7aa;white-space:nowrap}.result-panel[data-state="pass"] .result-badge{background:#ecfdf5;color:#166534;border-color:#bbf7d0}.result-panel[data-state="mismatch"] .result-badge{background:#fef2f2;color:#991b1b;border-color:#fecaca}.result-panel[data-state="indeterminate"] .result-badge{background:#fff7ed;color:#9a3412;border-color:#fed7aa}.result-metrics{display:grid;grid-template-columns:repeat(3,1fr);gap:10px;margin:22px 0}.result-metrics div{background:#f8fafc;border:1px solid var(--line);border-radius:16px;padding:15px;display:grid;gap:4px}.result-metrics strong{font-size:25px}.result-metrics span{font-size:13px;color:var(--muted)}.counterexample-card{border:1px solid #111827;border-radius:21px;overflow:hidden}.counterexample-heading{background:#111827;color:#fff;padding:16px 18px;display:flex;justify-content:space-between;gap:15px;align-items:center}.counterexample-heading span{font-size:12px;text-transform:uppercase;letter-spacing:.09em;color:#cbd5e1;font-weight:900}.counterexample-heading h3{margin:4px 0 0;font-size:20px}.bundle-actions{display:flex;gap:7px;flex-wrap:wrap}.counterexample-heading .small-button{background:#1f2937;color:#fff;border-color:#475569}.counterexample-heading .small-button:hover{border-color:#fff}.bundle-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr))}.bundle-grid section{padding:18px;border-bottom:1px solid var(--line)}.bundle-grid section:nth-child(odd){border-right:1px solid var(--line)}.bundle-grid h4{margin:0 0 8px;font-size:13px;text-transform:uppercase;letter-spacing:.08em;color:#64748b}.bundle-grid p,.bundle-grid ul{margin:0;line-height:1.55}.bundle-grid ul{padding-left:19px}.bundle-conclusion{padding:18px;background:#f8fafc}.bundle-conclusion strong{display:block;margin-bottom:5px}.bundle-conclusion p{margin:0;line-height:1.55}.result-warning{margin-top:14px;background:#fff7ed;border:1px solid #fed7aa;border-radius:15px;padding:13px 15px;color:#7c2d12;line-height:1.5}.about-method{padding:32px 0 10px}.about-method>div:first-child{max-width:840px}.about-method h2{margin:0 0 10px;font-size:30px;letter-spacing:-.04em}.about-method p{margin:0;color:var(--muted);font-size:17px;line-height:1.6}.principles-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:12px;margin-top:18px}.principles-grid div{background:#fff;border:1px solid var(--line);border-radius:17px;padding:16px;display:grid;gap:6px}.principles-grid strong{font-size:16px}.principles-grid span{color:var(--muted);font-size:14px;line-height:1.5}.field-error{border-color:#dc2626!important;box-shadow:0 0 0 3px rgba(220,38,38,.1)}.toast{position:fixed;right:18px;bottom:18px;background:#111827;color:#fff;border-radius:13px;padding:11px 14px;font-weight:800;z-index:50;box-shadow:0 14px 36px rgba(17,24,39,.25)}
@media(max-width:960px){.rtf-hero{grid-template-columns:1fr}.scope-card{max-width:none}.requirement-row{grid-template-columns:1fr 1fr}.requirement-row .row-field:first-child,.requirement-row .row-field:nth-child(4){grid-column:1/-1}.remove-row{grid-column:2;justify-self:end}.section-heading{display:grid}.section-heading p{text-align:left}.principles-grid{grid-template-columns:1fr}}
@media(max-width:680px){.rtf-shell{width:min(100% - 16px,1240px);padding-top:20px}.field-grid.two,.bundle-grid,.result-metrics{grid-template-columns:1fr}.bundle-grid section:nth-child(odd){border-right:0}.fact-row,.requirement-row{grid-template-columns:1fr}.requirement-row .row-field:first-child,.requirement-row .row-field:nth-child(4),.remove-row{grid-column:auto}.remove-row{justify-self:end}.run-card,.result-topline,.counterexample-heading,.requirements-header{display:grid}.method-strip{justify-content:flex-start}.method-strip i{display:none}.hero-actions .button{width:100%}.bundle-actions{width:100%}.bundle-actions .small-button{flex:1}.rtf-hero h1{font-size:clamp(38px,12vw,58px)}}
@media print{.topbar,.hero-actions,.method-strip,form,.about-method,.footer,.bundle-actions{display:none!important}.rtf-shell{width:100%;padding:0}.result-panel{display:block!important;box-shadow:none;border:0;padding:0}.result-warning{break-inside:avoid}.counterexample-card{break-inside:avoid}}