:root{font-family:ui-sans-serif,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;color:#263331;background:#f6f5f0;font-synthesis:none;--ink:#203732;--muted:#78817b;--line:#dedfd5;--green:#225d49;--paper:#fffefb;--orange:#c87542}*{box-sizing:border-box}body{margin:0}button,textarea,select,input{font:inherit}button,a,summary,select{touch-action:manipulation}button,summary{cursor:pointer}a{color:inherit}button:disabled{cursor:default;opacity:.48}button:focus-visible,a:focus-visible,summary:focus-visible,input:focus-visible,textarea:focus-visible,select:focus-visible{outline:3px solid #90b8a2;outline-offset:3px}[hidden]{display:none!important}.site-header{height:78px;padding:0 48px;border-bottom:1px solid var(--line);display:flex;justify-content:space-between;align-items:center;background:#fffefb}.brand{display:flex;align-items:center;gap:12px;text-decoration:none}.brand svg{width:28px;height:28px;fill:#fffefb;stroke:var(--green);stroke-width:2}.brand b{font-size:28px;letter-spacing:-1.6px}.brand span{font-size:13px;margin-left:10px;padding-left:20px;border-left:1px solid #d3d8d0;color:var(--muted)}.lab-link{font-size:13px;text-decoration:none}.lab-link span{margin-left:9px;color:var(--orange)}main{max-width:1320px;margin:auto;padding:0 44px}.hero{padding:48px 0 32px;display:flex;align-items:center;justify-content:space-between;gap:30px}.eyebrow{font-size:10px;letter-spacing:1.9px;font-weight:750;color:var(--muted)}h1{font-family:Georgia,"Times New Roman",serif;font-weight:400;font-size:54px;line-height:1.07;letter-spacing:-2px;margin:17px 0 17px}h1 span{color:var(--green)}.hero>div>p{font-size:15px;line-height:1.65;color:#69746c;margin:0}.hero-note{display:flex;gap:17px;align-items:center;max-width:300px;margin-right:42px}.note-icon{font-size:42px;color:var(--orange)}.hero-note p{font-family:Georgia,serif;font-size:20px;line-height:1.6}.hero-note small{font-family:ui-sans-serif,system-ui;font-size:12px;color:var(--muted)}.steps{display:flex;gap:23px;align-items:center;border-top:1px solid var(--line);padding:18px 0 25px;color:#89928a;font-size:12px}.step{display:flex;align-items:center;gap:9px}.step b{font-size:10px;font-weight:500;border:1px solid #d4dbd0;border-radius:50%;width:25px;height:25px;display:grid;place-items:center}.step.active{color:var(--green);font-weight:650}.step.active b{background:var(--green);border-color:var(--green);color:#fff}.steps i{font-style:normal;color:#b5bdb4}.studio{display:grid;grid-template-columns:380px minmax(0,1fr);gap:32px;align-items:start}.input-card{border:1px solid var(--line);background:var(--paper);border-radius:15px;padding:27px;position:sticky;top:24px;box-shadow:0 4px 14px #31432b04}.section-heading,.review-heading{display:flex;align-items:center;justify-content:space-between;gap:12px}h2{font-family:Georgia,serif;font-weight:400;font-size:25px;letter-spacing:-.5px;line-height:1.2;margin:8px 0}.pill{font-size:10px;white-space:nowrap;border:1px solid var(--line);border-radius:20px;padding:6px 9px;color:var(--muted)}label{display:block;font-size:12px;font-weight:600;margin:25px 0 9px}textarea{display:block;width:100%;resize:vertical;border:1px solid #d9ded3;border-radius:9px;background:#fafbf6;color:var(--ink);padding:14px;font-size:14px;line-height:1.7;min-height:240px}textarea::placeholder{color:#99a092}textarea:focus,select:focus{outline:2px solid #94b8a0;outline-offset:0}.text-meta{display:flex;justify-content:space-between;gap:8px;font-size:9px;color:#929b91;margin-top:9px}select{width:100%;padding:12px 10px;border:1px solid #d9ded3;border-radius:8px;background:white;font-size:12px;color:var(--ink)}.field-note{color:var(--muted);font-size:11px;line-height:1.5;margin:9px 0 20px}.primary{border:1px solid var(--green);background:var(--green);color:white;border-radius:9px;padding:14px 16px;font-size:12px;font-weight:600;display:flex;align-items:center;justify-content:space-between;gap:18px;transition:background .15s}form>.primary{width:100%}.primary:hover:not(:disabled){background:#174833}.privacy-note{font-size:10px;color:#8a9287;line-height:1.6;margin:13px 0 0}.form-status{font-size:12px;color:var(--green);line-height:1.6;margin:12px 0 0}.form-status:empty{display:none}.error{background:#fff0e8;border:1px solid #e9c5ad;color:#95512a;border-radius:8px;padding:12px;font-size:12px;line-height:1.6}.examples{border-top:1px solid var(--line);margin-top:23px;padding-top:20px}.example-buttons{display:flex;flex-wrap:wrap;gap:7px;margin-top:12px}.example-buttons button,.download-button{border:1px solid #dde1d7;color:#687769;background:white;border-radius:6px;font-size:10px;padding:8px 10px}.example-buttons button:hover,.download-button:hover{background:#f0f4eb}.output-area{min-width:0}.empty-state{min-height:620px;border:1px dashed #d5dace;border-radius:15px;text-align:center;padding:95px 20px 30px;color:var(--muted)}.argument-sketch{margin:0 auto 32px;display:grid;grid-template-columns:95px 95px;gap:10px;justify-content:center;transform:rotate(-3deg)}.argument-sketch span{background:#efeee5;color:#909880;padding:13px;border:1px solid #e4e4d7;border-radius:7px;font-size:11px}.argument-sketch i{grid-column:1/3;font-style:normal;color:#b4bfa9;font-size:26px}.argument-sketch strong{grid-column:1/3;background:#e8efe3;color:#6c8b70;border:1px solid #dce4d2;padding:16px;border-radius:7px;font-size:12px;font-weight:500}.empty-state h2{font-size:26px;color:#5d6e5c}.empty-state>p{font-size:12px;line-height:1.8}.empty-tags{display:flex;justify-content:center;gap:8px;flex-wrap:wrap;margin-top:27px}.empty-tags span{font-size:9px;border:1px solid #e0e4d8;border-radius:20px;padding:7px 9px;color:#8a9681}.review-heading{margin-top:4px}.review-heading h2{font-size:28px}.summary{font-size:13px;line-height:1.8;color:#718072;margin:13px 0 28px}.claims-heading{display:flex;justify-content:space-between;align-items:center;margin-bottom:14px}.claims-heading h3{font-size:12px;margin:0;font-weight:650}.claims-heading span{font-size:10px;color:var(--muted)}.claim-card{background:var(--paper);border:1px solid var(--line);border-radius:10px;margin-bottom:12px;overflow:hidden}.claim-body{display:flex;gap:14px;padding:19px}.claim-number{font-size:10px;color:#8a9388;background:#f2f3ec;border-radius:6px;width:28px;height:28px;display:grid;place-items:center;flex-shrink:0}.claim-content{flex:1;min-width:0}.claim-top{display:flex;justify-content:space-between;gap:10px;align-items:center;margin-bottom:7px}.claim-top span:first-child{font-size:9px;text-transform:uppercase;letter-spacing:1px;color:var(--muted)}.claim-tag{font-size:9px;color:#738b74;border:1px solid #e0e6da;border-radius:20px;padding:4px 7px}.claim-tag.interpreted{color:#9b764a;border-color:#eddfc8}.claim-content textarea{font-size:14px;line-height:1.6;min-height:50px;padding:4px 0;border:none;background:transparent;resize:vertical;border-radius:3px}.claim-content textarea:focus{outline-offset:4px}.claim-source{padding:11px 19px 11px 61px;background:#f8f9f3;border-top:1px solid #ebeee3;font-size:10px;line-height:1.6;color:#8e9787}.claim-source b{font-size:8px;letter-spacing:1px;text-transform:uppercase;font-weight:650;margin-right:9px;color:#a0a994}.formula-edit{padding:0 19px 14px 61px}.formula-edit label{font-size:9px;margin:0 0 6px;color:var(--muted)}.formula-edit input{width:100%;padding:7px 9px;border:1px solid #e0e5d9;border-radius:5px;font-family:ui-monospace,monospace;font-size:12px;color:var(--ink);background:#fcfcf9}.conclusion{border-color:#9eb9a4;background:#f5f9ef}.conclusion .claim-number{background:#e4eddf;color:var(--green)}.conclusion .claim-source{background:#edf3e7;border-color:#dce7d4}.therefore{font-family:Georgia,serif;font-size:17px;color:#88a47e;margin:20px 0;display:flex;align-items:center;gap:15px}.therefore span{font-size:27px}.gap-card{padding:19px 22px;border:1px solid #e6d8ba;border-radius:10px;background:#fbf7ee;margin:23px 0;color:#8a7047}.gap-card .eyebrow{color:#a08859}.gap-card ul{font-size:12px;line-height:1.8;padding-left:17px;margin:10px 0}.gap-card p{font-size:10px;margin:10px 0 0;color:#ab9671}.details-panel{border-top:1px solid var(--line);padding:17px 0;font-size:12px}.details-panel summary{font-size:12px;color:#637560;list-style:none;display:flex;justify-content:space-between}.details-panel summary:after{content:'+';font-size:17px}.details-panel[open] summary:after{content:'−'}.details-panel p{font-size:11px;line-height:1.7;color:var(--muted)}dl{display:grid;grid-template-columns:70px 1fr;gap:9px;font-size:11px;line-height:1.6}dt{font-family:ui-monospace,monospace;color:var(--green)}dd{margin:0;color:#75816f}pre{white-space:pre-wrap;overflow-wrap:anywhere;background:#eef2e8;border:1px solid #e0e7d9;border-radius:7px;padding:15px;font:12px/1.8 ui-monospace,monospace;color:#586a52}.details-panel ul{padding-left:18px;color:var(--muted);font-size:11px;line-height:1.8}.omitted-item{border-left:2px solid #d6ddce;padding-left:12px;margin:12px 0;font-size:11px;line-height:1.7;color:#7f8979}.omitted-item small{display:block;color:#9aA28e;margin-top:4px}.review-actions{border-top:1px solid var(--line);margin-top:3px;padding:19px 0}.review-checkbox{display:flex;align-items:center;gap:10px;font-size:12px;font-weight:400;margin:0 0 18px;color:#60725a}.review-checkbox input{accent-color:var(--green);width:16px;height:16px}.review-actions>div{display:flex;gap:10px}.review-actions .primary{flex:1}.download-button{font-size:11px;padding:12px 16px;background:transparent}.result-card{background:var(--paper);border:1px solid #d3dec9;border-radius:12px;padding:24px;margin:10px 0 25px}.result-top{display:flex;align-items:center;justify-content:space-between;gap:12px;font-size:10px;color:var(--muted);margin-bottom:15px}.result-badge{background:#edf2e7;color:#718567;border-radius:20px;padding:6px 10px;font-size:10px;font-weight:600}.result-badge.invalid{background:#f9eddd;color:#ad7136}.result-badge.valid{background:#e4f0e5;color:#39805d}.result-badge.unknown{background:#efeafb;color:#8270a3}.result-card h2{font-size:26px}.result-card>p{font-size:12px;line-height:1.8;color:#738068}.result-card .soundness-note{font-size:10px;padding-top:14px;border-top:1px solid #e4e9db;margin-top:21px;color:#919d85}.countermodel-title{font-size:11px;font-weight:600;color:#63785b;margin:19px 0 10px}.witness-row{display:flex;justify-content:space-between;gap:15px;padding:9px 0;border-bottom:1px solid #edf0e6;font-size:11px;line-height:1.5;color:#76836b}.witness-row b{font-weight:500;color:#61805b}.witness-row .false{color:#ae814c}.result-card details summary{font-size:10px;color:var(--muted);margin-top:16px}.result-card details pre{max-height:350px;overflow:auto}.stale-note{padding:12px 15px;background:#f5eadc;border:1px solid #e7d3b5;border-radius:8px;font-size:12px;line-height:1.6;color:#9a794c}footer{display:flex;justify-content:space-between;gap:15px;padding:32px 0 25px;color:#9aa391;font-size:10px}.loading{animation:pulse 1.4s ease-in-out infinite}@keyframes pulse{50%{opacity:.6}}@media(max-width:1050px){main{padding:0 26px}.studio{grid-template-columns:330px minmax(0,1fr);gap:22px}.input-card{padding:22px}.hero-note{margin-right:0;max-width:240px}h1{font-size:48px}.hero-note p{font-size:17px}}@media(max-width:780px){.site-header{padding:0 20px;height:66px}.brand span{display:none}.lab-link{font-size:11px}main{padding:0 18px}.hero{padding:33px 0 26px}.hero-note{display:none}h1{font-size:43px}.studio{display:block}.input-card{position:static;margin-bottom:28px}.empty-state{min-height:350px;padding:50px 15px}.steps{gap:12px;font-size:10px}.step{gap:6px}.step b{width:22px;height:22px}.claim-source{padding-left:20px}.formula-edit{padding-left:20px}.review-heading h2{font-size:25px}footer{flex-direction:column;gap:8px}.result-card{padding:20px}.hero>div>p{font-size:13px}}@media(prefers-reduced-motion:reduce){*{animation:none!important;transition:none!important}}
:root .claim-text{font-size:14px;line-height:1.7;margin:0;color:var(--ink)}.formula-edit{padding-top:9px;background:#fcfdf8;border-top:1px solid #edf0e6}.formula-edit summary{font-size:9px;color:#84947b;margin-bottom:8px}.formula-edit label{line-height:1.6}.formula-edit input{margin-bottom:2px}
.inferred-section{margin:24px 0}.inferred-section h3{font-size:13px;font-weight:650;color:#947140}.inferred{border-color:#dfcba6}.inferred-controls{padding:0 19px 12px}.inferred-controls .field-note{margin:13px 0}.inferred-controls .review-checkbox{margin:0;font-size:11px;color:#947140}

.app-nav{display:flex;align-items:center;gap:6px}.app-nav a{font-size:12px;text-decoration:none;padding:10px 12px;border-radius:7px;color:var(--muted)}.app-nav a[aria-current]{background:#e9efe5;color:var(--green)}.lock-button{font-size:11px;border:1px solid var(--line);border-radius:6px;background:transparent;color:var(--muted);padding:8px 10px}@media(max-width:600px){.site-header{height:auto;min-height:66px;flex-wrap:wrap;padding-top:14px;padding-bottom:10px;gap:10px}.app-nav{margin-left:auto}.app-nav a{font-size:10px;padding:8px}.brand b{font-size:24px}}

.quota-note{font-size:11px;color:var(--muted);margin:8px 0 0;text-align:right}