.prooflab-shell{min-height:100vh;background:var(--bg);color:var(--text);font-family:var(--font-sans)}.prooflab-header{position:sticky;top:0;z-index:30;display:flex;align-items:center;justify-content:space-between;gap:24px;min-height:68px;padding:0 40px;border-bottom:1px solid var(--border);background:color-mix(in srgb,var(--bg) 94%,transparent);backdrop-filter:blur(18px)}.prooflab-brand{display:inline-flex;align-items:center;gap:10px;color:var(--text);font-family:var(--font-mono);letter-spacing:.045em}.prooflab-brand,.prooflab-brand:hover{text-decoration:none}.prooflab-brand>span:first-child{font-size:1.25rem}.prooflab-brand>span:nth-child(2){color:var(--text-dim)}.prooflab-brand-divider{color:var(--border)}.prooflab-brand strong{font-size:.82rem;text-transform:uppercase;letter-spacing:.13em}.prooflab-nav{display:flex;align-items:center;gap:24px}.prooflab-nav a,.prooflab-theme{border:0;background:transparent;color:var(--text-dim);font:600 .72rem/1 var(--font-sans);letter-spacing:.12em;text-transform:uppercase;cursor:pointer}.prooflab-nav a:hover,.prooflab-theme:hover{color:var(--text);text-decoration:none}.prooflab-hero{display:grid;grid-template-columns:minmax(0,1fr) 280px;gap:72px;align-items:end;padding:96px 40px 72px;border-bottom:1px solid var(--border)}.prooflab-hero>div{max-width:880px}.prooflab-eyebrow,.prooflab-kicker{display:block;color:var(--text-dim);font:600 .68rem/1.3 var(--font-mono);letter-spacing:.17em;text-transform:uppercase}.prooflab-kicker{margin-bottom:24px}.prooflab-hero h1{max-width:980px;margin:0 0 30px;font:400 clamp(2.8rem,6vw,5.7rem)/.98 var(--font-serif);letter-spacing:-.045em}.prooflab-intro{max-width:720px;color:var(--text-dim);font-size:1.07rem;line-height:1.75}.prooflab-health{display:flex;gap:12px;align-items:flex-start;padding:18px;border:1px solid var(--border);background:var(--surface)}.prooflab-health-dot{width:8px;height:8px;margin-top:7px;border-radius:999px;background:var(--amber);box-shadow:0 0 0 4px color-mix(in srgb,var(--amber) 12%,transparent)}.prooflab-health.state-connected .prooflab-health-dot{background:var(--green);box-shadow:0 0 0 4px color-mix(in srgb,var(--green) 12%,transparent)}.prooflab-health.state-endpoint_unreachable .prooflab-health-dot,.prooflab-health.state-temporarily_unavailable .prooflab-health-dot{background:var(--red);box-shadow:0 0 0 4px color-mix(in srgb,var(--red) 12%,transparent)}.prooflab-health span,.prooflab-health strong{display:block}.prooflab-health strong{font-size:.82rem;margin-bottom:4px}.prooflab-health span{color:var(--text-dim);font:.7rem/1.5 var(--font-mono)}.prooflab-health button{margin-top:10px;padding:0;border:0;border-bottom:1px solid;background:transparent;color:var(--text);font:600 .67rem/1.4 var(--font-mono);cursor:pointer}.prooflab-principles{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));border-bottom:1px solid var(--border)}.prooflab-principles article{position:relative;min-height:196px;padding:38px 40px;border-right:1px solid var(--border)}.prooflab-principles article:last-child{border-right:0}.prooflab-principles article>span{color:var(--text-dim);font:.68rem/1 var(--font-mono);letter-spacing:.12em}.prooflab-principles h2{margin:28px 0 10px;font:400 1.45rem/1.2 var(--font-serif)}.prooflab-principles p{max-width:360px;color:var(--text-dim);font-size:.84rem;line-height:1.7}.prooflab-principles strong{color:var(--text);font-family:var(--font-mono);font-size:.82em}.prooflab-educator{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:24px 40px;align-items:end;padding:34px 40px;border-bottom:1px solid var(--border);background:color-mix(in srgb,var(--surface) 58%,var(--bg))}.prooflab-educator h2{margin:8px 0 6px;font:400 1.45rem/1.2 var(--font-serif)}.prooflab-educator p{max-width:680px;color:var(--text-dim);font-size:.82rem;line-height:1.6}.prooflab-educator>button{min-height:42px;padding:0 15px;border:1px solid var(--text);background:var(--bg);color:var(--text);font:700 .67rem/1 var(--font-sans);letter-spacing:.07em;text-transform:uppercase;cursor:pointer}.prooflab-exercise-strip{display:grid;grid-column:1/-1;grid-template-columns:repeat(3,minmax(0,1fr));gap:8px}.prooflab-exercise-strip button{padding:16px;border:1px solid var(--border);background:var(--bg);color:var(--text);text-align:left;cursor:pointer}.prooflab-exercise-strip span,.prooflab-exercise-strip strong{display:block}.prooflab-exercise-strip strong{margin-bottom:6px;font-size:.74rem}.prooflab-prediction-choices{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:7px;margin-top:14px}.prooflab-prediction-choices button{min-height:36px;padding:8px;border:1px solid var(--border);background:var(--bg);color:var(--text-dim);font:650 .62rem/1.25 var(--font-mono);cursor:pointer}.prooflab-prediction-choices button.is-selected,.prooflab-prediction-choices button:hover{border-color:var(--text);color:var(--text)}.prooflab-prediction-choices button:disabled{cursor:default}.prooflab-learning-prompt>small{display:block;margin-top:10px;color:var(--text-dim);font-size:.68rem}.prooflab-learning-prompt>small strong{color:var(--text)}.prooflab-exercise-strip span{color:var(--text-dim);font-size:.7rem;line-height:1.5}.prooflab-workspace{display:grid;grid-template-columns:minmax(390px,.85fr) minmax(0,1.15fr);min-height:860px;border-bottom:1px solid var(--border)}.prooflab-input-panel,.prooflab-result-panel{min-width:0;padding:48px 40px 64px}.prooflab-input-panel{border-right:1px solid var(--border);background:var(--surface)}.prooflab-result-panel{background:var(--bg)}.prooflab-section-heading{display:flex;align-items:flex-start;justify-content:space-between;gap:24px;margin-bottom:30px}.prooflab-section-heading.compact{margin-bottom:20px}.prooflab-section-heading h2,.prooflab-section-heading h3{margin-top:8px;font:400 1.4rem/1.25 var(--font-serif)}.prooflab-section-heading h3{font-size:1.15rem}.prooflab-section-heading p{margin-top:8px;color:var(--text-dim);font-size:.82rem}.prooflab-model-chip{flex:0 0 auto;padding:7px 9px;border:1px solid var(--border);color:var(--text-dim);font:.65rem/1 var(--font-mono);letter-spacing:.05em}.prooflab-examples{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:8px;margin-bottom:30px}.prooflab-examples button{min-height:112px;padding:14px;border:1px solid var(--border);background:var(--bg);color:var(--text);text-align:left;cursor:pointer;transition:border-color .15s ease,transform .15s ease}.prooflab-examples button:hover{border-color:var(--text);transform:translateY(-1px)}.prooflab-examples button.is-selected{border-color:var(--text);box-shadow:inset 3px 0 0 var(--green)}.prooflab-examples span,.prooflab-examples strong{display:block}.prooflab-examples strong{margin-bottom:8px;font-size:.76rem}.prooflab-examples span{color:var(--text-dim);font-size:.68rem;line-height:1.45}.prooflab-form{display:grid;gap:22px}.prooflab-form>*{min-width:0}.prooflab-form label>span{display:block;margin-bottom:9px;font-size:.74rem;font-weight:700;letter-spacing:.06em;text-transform:uppercase}.prooflab-form label em{color:var(--text-dim);font-size:.66rem;font-style:normal;font-weight:500}.prooflab-form input,.prooflab-form textarea{width:100%;border:1px solid var(--border);border-radius:0;outline:0;background:var(--bg);color:var(--text);font:.9rem/1.65 var(--font-mono);transition:border-color .15s ease,box-shadow .15s ease}.prooflab-form input{min-height:50px;padding:0 14px}.prooflab-form textarea{resize:vertical;min-height:90px;padding:12px 14px}.prooflab-form input:focus,.prooflab-form textarea:focus{border-color:var(--text);box-shadow:0 0 0 2px color-mix(in srgb,var(--text) 8%,transparent)}.prooflab-form small{display:block;margin-top:7px;color:var(--text-dim);font-size:.68rem;line-height:1.5;overflow-wrap:anywhere}.prooflab-learning-prompt{margin:-12px 0 28px;padding:14px 16px;border-left:3px solid var(--amber);background:color-mix(in srgb,var(--amber) 6%,var(--bg))}.prooflab-learning-prompt strong{font:700 .66rem/1 var(--font-mono);letter-spacing:.08em;text-transform:uppercase}.prooflab-learning-prompt p{margin-top:7px;color:var(--text-dim);font-size:.76rem;line-height:1.55}.prooflab-syntax{display:block;margin-top:8px;font:.68rem/1.5 var(--font-mono)}.prooflab-syntax.is-valid{color:var(--green)}.prooflab-syntax.is-invalid{color:var(--red)}.prooflab-variable-chips{display:flex;flex-wrap:wrap;gap:6px;margin-top:9px}.prooflab-variable-chips code{padding:4px 7px;border:1px solid var(--border);background:var(--surface);font-size:.7rem}.prooflab-adversarial,.prooflab-primary{display:flex;align-items:center;justify-content:space-between;gap:20px;width:100%;border:1px solid var(--text);cursor:pointer}.prooflab-primary{min-height:56px;margin-top:4px;padding:0 18px;background:var(--text);color:var(--bg);font:700 .76rem/1 var(--font-sans);letter-spacing:.09em;text-transform:uppercase}.prooflab-adversarial:disabled,.prooflab-primary:disabled{opacity:.45;cursor:wait}.prooflab-progress{display:grid;gap:8px;margin:18px 0 0;padding:0;list-style:none}.prooflab-progress li{position:relative;padding-left:20px;color:var(--text-dim);font:.67rem/1.45 var(--font-mono)}.prooflab-progress li:before{position:absolute;top:.32em;left:0;width:8px;height:8px;border:1px solid var(--border);border-radius:50%;content:""}.prooflab-progress li.is-active{color:var(--text)}.prooflab-progress li.is-active:before{border-color:var(--amber);background:var(--amber);box-shadow:0 0 0 4px color-mix(in srgb,var(--amber) 12%,transparent)}.prooflab-progress li.is-complete:before{border-color:var(--green);background:var(--green)}.prooflab-error{margin-top:20px;padding:16px;border:1px solid var(--red);background:color-mix(in srgb,var(--red) 6%,var(--bg))}.prooflab-error strong{color:var(--red);font-size:.78rem}.prooflab-error p{margin-top:5px;color:var(--text-dim);font-size:.78rem}.prooflab-error>div{display:flex;flex-wrap:wrap;gap:8px;margin-top:12px}.prooflab-error button{padding:8px 10px;border:1px solid var(--border);background:var(--bg);color:var(--text);font:600 .65rem/1.2 var(--font-mono);cursor:pointer}.prooflab-result-panel:not(.has-result){display:grid;place-items:center}.prooflab-empty{max-width:560px;text-align:center}.prooflab-empty-mark{display:grid;place-items:center;width:72px;height:72px;margin:0 auto 30px;border:1px solid var(--border);font:2.2rem/1 var(--font-serif)}.prooflab-empty h2{font:400 1.6rem/1.25 var(--font-serif)}.prooflab-empty p{margin:14px auto 26px;color:var(--text-dim);line-height:1.7}.prooflab-status-key{display:flex;flex-wrap:wrap;justify-content:center;gap:8px 16px}.status-dot{position:relative;padding-left:12px;color:var(--text-dim);font:.66rem/1 var(--font-mono);text-transform:uppercase}.status-dot:before{position:absolute;top:50%;left:0;width:6px;height:6px;border-radius:50%;background:var(--text-dim);content:"";transform:translateY(-50%)}.status-proved:before{background:var(--green)}.status-disproved:before{background:var(--red)}.status-verified_in_range:before{background:var(--amber)}.prooflab-mode-banner{display:flex;justify-content:space-between;gap:20px;margin-bottom:14px;padding:12px 14px;border:1px solid var(--border);background:var(--surface)}.prooflab-mode-banner strong{font:700 .67rem/1.4 var(--font-mono);text-transform:uppercase;letter-spacing:.06em}.prooflab-mode-banner span{max-width:470px;color:var(--text-dim);font-size:.7rem;line-height:1.45;text-align:right}.prooflab-mode-banner span,.prooflab-mode-banner strong{display:block;min-width:0;overflow-wrap:anywhere}.prooflab-mode-banner.mode-offline_replay{border-left:3px solid var(--amber)}.prooflab-boundary{display:grid;grid-template-columns:1fr auto 1fr;gap:18px;align-items:center;margin:22px 0;padding:17px 20px;border:1px solid var(--border);background:var(--surface)}.prooflab-boundary div:last-child{text-align:right}.prooflab-boundary div>span,.prooflab-boundary div>strong{display:block}.prooflab-boundary div>span{margin-bottom:5px;color:var(--text-dim);font:.62rem/1 var(--font-mono);letter-spacing:.08em;text-transform:uppercase}.prooflab-boundary div>strong{font-size:.76rem}.prooflab-boundary>span{color:var(--text-dim)}.prooflab-unknown{margin-top:26px;padding:22px 24px;border:1px solid var(--amber);background:color-mix(in srgb,var(--amber) 5%,var(--bg))}.prooflab-unknown h3{margin:8px 0 12px;font:400 1.15rem/1.3 var(--font-serif)}.prooflab-unknown ul{display:grid;gap:8px;padding-left:18px;color:var(--text-dim);font-size:.76rem;line-height:1.55}.prooflab-literature{margin-top:26px;padding:22px 24px;border:1px solid var(--border);border-left:4px solid var(--amber);background:var(--surface)}.prooflab-literature.literature-established{border-left-color:var(--green)}.prooflab-literature.literature-open{border-left-color:var(--red)}.prooflab-literature>header{display:flex;align-items:flex-start;justify-content:space-between;gap:20px}.prooflab-literature h3{margin:8px 0 12px;font:400 1.25rem/1.3 var(--font-serif)}.prooflab-literature>p{color:var(--text-dim);font-size:.77rem;line-height:1.6}.prooflab-literature-status{flex:0 0 auto;padding:7px 9px;border:1px solid;color:var(--amber);font:650 .61rem/1 var(--font-mono);letter-spacing:.06em;text-transform:uppercase}.literature-established .prooflab-literature-status{color:var(--green)}.literature-open .prooflab-literature-status{color:var(--red)}.prooflab-literature-scope{margin-top:10px}.prooflab-literature-scope strong{color:var(--text)}.prooflab-literature-verdict-note{margin-top:14px;padding:11px 13px;border-left:2px solid var(--text);background:var(--bg);color:var(--text)!important}.prooflab-literature-meta{display:grid;grid-template-columns:auto minmax(0,1fr);gap:10px 22px;margin-top:15px;color:var(--text-dim);font:.61rem/1.55 var(--font-mono)}.prooflab-literature-meta>span:last-child{text-align:right;overflow-wrap:anywhere}.prooflab-literature-meta a{color:var(--text);text-decoration:underline;text-underline-offset:3px}.prooflab-literature-boundary{margin-top:14px;padding-top:12px;border-top:1px solid var(--border);font:.61rem/1.55 var(--font-mono)!important}.prooflab-result{max-width:980px;margin:0 auto}.prooflab-verdict{display:flex;align-items:flex-start;justify-content:space-between;gap:30px;padding:28px 30px;border:1px solid var(--border);border-left-width:5px;background:var(--surface)}.prooflab-verdict h2{margin:10px 0 5px;font:400 2.25rem/1 var(--font-serif)}.prooflab-verdict p{color:var(--text-dim)}.prooflab-verdict-symbol{font:400 2.6rem/1 var(--font-serif)}.verdict-proved{border-left-color:var(--green)}.verdict-proved .prooflab-verdict-symbol{color:var(--green)}.verdict-disproved{border-left-color:var(--red)}.verdict-disproved .prooflab-verdict-symbol{color:var(--red)}.verdict-conjectural,.verdict-experimental_evidence,.verdict-unknown,.verdict-verified_in_range{border-left-color:var(--amber)}.verdict-conjectural .prooflab-verdict-symbol,.verdict-experimental_evidence .prooflab-verdict-symbol,.verdict-unknown .prooflab-verdict-symbol,.verdict-verified_in_range .prooflab-verdict-symbol{color:var(--amber)}.prooflab-verdict-note{margin:10px 0 30px;color:var(--text-dim);font-size:.72rem}.prooflab-result-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));border:1px solid var(--border)}.prooflab-result-grid article{min-height:265px;padding:26px}.prooflab-result-grid article:first-child{border-right:1px solid var(--border)}.prooflab-result-grid h3{margin:10px 0;font:400 1.15rem/1.35 var(--font-serif)}.prooflab-result-grid p{color:var(--text-dim);font-size:.8rem;line-height:1.65}.prooflab-result-grid dl{display:grid;gap:8px;margin-top:20px}.prooflab-result-grid dl div{display:grid;grid-template-columns:92px 1fr;gap:10px;font-size:.72rem}.prooflab-result-grid dt{color:var(--text-dim)}.prooflab-result-grid dd{overflow-wrap:anywhere}.prooflab-math-line{display:grid;grid-template-columns:100px minmax(0,1fr);gap:10px;align-items:start;margin-top:13px;font-size:.72rem}.prooflab-math-line span{color:var(--text-dim)}.prooflab-math-line code{overflow-wrap:anywhere;background:var(--surface2);font-size:.78rem}.prooflab-scope{margin-top:22px}.prooflab-scope strong{color:var(--text)}.prooflab-caveat{margin-top:13px;padding:10px 12px;border-left:2px solid var(--amber);background:color-mix(in srgb,var(--amber) 6%,var(--bg))}.prooflab-prediction-result{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:12px 24px;margin-top:20px;padding:18px 20px;border:1px solid var(--border);border-left:3px solid var(--green);background:color-mix(in srgb,var(--green) 5%,var(--bg))}.prooflab-prediction-result.is-surprise{border-left-color:var(--amber);background:color-mix(in srgb,var(--amber) 5%,var(--bg))}.prooflab-prediction-result h3{margin-top:6px;font:400 1rem/1.3 var(--font-serif)}.prooflab-prediction-result dl{display:flex;gap:18px}.prooflab-prediction-result dl div{min-width:90px}.prooflab-prediction-result dt{color:var(--text-dim);font:.58rem/1.2 var(--font-mono);letter-spacing:.08em;text-transform:uppercase}.prooflab-prediction-result dd{margin-top:5px;font:650 .7rem/1.2 var(--font-mono)}.prooflab-prediction-result>p{grid-column:1/-1;color:var(--text-dim);font-size:.74rem;line-height:1.55}.prooflab-attack-results,.prooflab-certificate,.prooflab-ledger{margin-top:30px}.prooflab-accepted-plan{display:grid;grid-template-columns:minmax(150px,.55fr) minmax(0,1fr);gap:18px;margin-bottom:16px;padding:15px 16px;border:1px solid var(--border);background:var(--surface)}.prooflab-accepted-plan>div span,.prooflab-accepted-plan>div strong{display:block}.prooflab-accepted-plan>div strong{margin-bottom:6px;font:650 .67rem/1.25 var(--font-mono);text-transform:uppercase}.prooflab-accepted-plan>div span{color:var(--text-dim);font-size:.68rem;line-height:1.45}.prooflab-accepted-plan ol{display:grid;gap:8px;margin:0;padding-left:20px}.prooflab-accepted-plan li{padding-left:3px;color:var(--text-dim);font-size:.69rem;line-height:1.45}.prooflab-accepted-plan li code{display:block;margin-bottom:2px;color:var(--text);font-size:.63rem}.prooflab-table-wrap{overflow-x:auto;border:1px solid var(--border)}.prooflab-ledger table{width:100%;border-collapse:collapse;table-layout:fixed;min-width:620px}.prooflab-ledger th:first-child{width:16%}.prooflab-ledger th:nth-child(2){width:27%}.prooflab-ledger th:nth-child(3){width:18%}.prooflab-ledger th:nth-child(4){width:39%}.prooflab-ledger td,.prooflab-ledger th{padding:12px 14px;border-bottom:1px solid var(--border);border-right:1px solid var(--border);text-align:left;vertical-align:top;font-size:.7rem;line-height:1.55}.prooflab-ledger tr:last-child td{border-bottom:0}.prooflab-ledger td:last-child,.prooflab-ledger th:last-child{border-right:0}.prooflab-ledger th{background:var(--surface);color:var(--text-dim);font:600 .63rem/1 var(--font-mono);letter-spacing:.1em;text-transform:uppercase}.prooflab-ledger td code{overflow-wrap:anywhere;white-space:normal}.prooflab-certificate{display:grid;grid-template-columns:minmax(0,1fr) minmax(250px,.85fr);gap:28px;padding:24px;border:1px solid var(--border);background:var(--surface)}.prooflab-certificate h3{margin:8px 0;font:400 1.1rem/1.3 var(--font-serif)}.prooflab-certificate p{color:var(--text-dim);font-size:.76rem;line-height:1.6}.prooflab-hash{display:block;margin-top:14px;padding:8px;overflow-wrap:anywhere;font-size:.62rem}.prooflab-certificate details{min-width:0}.prooflab-certificate summary{cursor:pointer;color:var(--text-dim);font:600 .68rem/1.2 var(--font-mono)}.prooflab-certificate pre,.prooflab-check-list pre{max-height:260px;margin-top:12px;padding:12px;overflow:auto;border:1px solid var(--border);background:var(--bg);color:var(--text);font:.65rem/1.5 var(--font-mono);white-space:pre-wrap;overflow-wrap:anywhere}.prooflab-certificate-actions{display:flex;flex-wrap:wrap;gap:7px;margin-top:16px}.prooflab-certificate-actions button{min-height:34px;padding:0 10px;border:1px solid var(--border);background:var(--bg);color:var(--text);font:650 .62rem/1 var(--font-mono);cursor:pointer}.prooflab-certificate-actions button:first-child{border-color:var(--text)}.prooflab-action-message{overflow-wrap:anywhere}.prooflab-adversarial{margin-top:30px;padding:18px 20px;background:var(--bg);color:var(--text);text-align:left}.prooflab-adversarial:hover{background:var(--surface)}.prooflab-adversarial small,.prooflab-adversarial strong{display:block}.prooflab-adversarial strong{margin-bottom:5px;font-size:.8rem}.prooflab-adversarial small{color:var(--text-dim);font-size:.68rem}.prooflab-adversarial>span:last-child{font-size:1.4rem}.prooflab-attack-results{padding:24px;border:1px solid var(--border)}.prooflab-check-list{display:grid;gap:10px}.prooflab-check-list article{padding:14px 16px;border:1px solid var(--border);border-left-width:3px}.prooflab-check-list article>div{display:flex;justify-content:space-between;gap:14px;margin-bottom:6px}.prooflab-check-list article span{font:600 .68rem/1.3 var(--font-mono);text-transform:uppercase}.prooflab-check-list article strong{font-size:.67rem;text-transform:uppercase}.prooflab-check-list article p{color:var(--text-dim);font-size:.75rem;line-height:1.55}.prooflab-check-list .check-passed{border-left-color:var(--green)}.prooflab-check-list .check-found-issue{border-left-color:var(--red)}.prooflab-check-list .check-inconclusive{border-left-color:var(--amber)}.prooflab-check-list .check-not-applicable{border-left-color:var(--text-dim);opacity:.8}.prooflab-footer{display:grid;grid-template-columns:1fr minmax(300px,.8fr);gap:40px;padding:34px 40px}.prooflab-footer span,.prooflab-footer strong{display:block}.prooflab-footer strong{font:700 .75rem/1 var(--font-mono);letter-spacing:.09em;text-transform:uppercase}.prooflab-footer p,.prooflab-footer span{margin-top:6px;color:var(--text-dim);font-size:.7rem;line-height:1.55}.prooflab-sr-only{position:absolute;width:1px;height:1px;padding:0;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.prooflab-loading{display:grid;place-items:center;color:var(--text-dim);font:.75rem/1 var(--font-mono)}.prooflab-shell :is(a,button,input,textarea,summary):focus-visible{outline:2px solid var(--text);outline-offset:3px}@media (max-width:1120px){.prooflab-workspace{grid-template-columns:1fr}.prooflab-input-panel{border-right:0;border-bottom:1px solid var(--border)}.prooflab-result-panel:not(.has-result){min-height:520px}}@media (max-width:820px){.prooflab-header{padding:0 20px}.prooflab-nav{gap:14px}.prooflab-nav a:nth-child(2){display:none}.prooflab-hero{grid-template-columns:1fr;gap:36px;padding:70px 20px 52px}.prooflab-health{max-width:360px}.prooflab-principles{grid-template-columns:1fr}.prooflab-principles article{min-height:auto;padding:28px 20px;border-right:0;border-bottom:1px solid var(--border)}.prooflab-principles article:last-child{border-bottom:0}.prooflab-educator{grid-template-columns:1fr;padding:28px 20px}.prooflab-educator>button{justify-self:start}.prooflab-exercise-strip{grid-template-columns:1fr}.prooflab-input-panel,.prooflab-result-panel{padding:38px 20px 50px}.prooflab-examples{grid-template-columns:1fr}.prooflab-examples button{min-height:auto}.prooflab-result-grid{grid-template-columns:1fr}.prooflab-result-grid article:first-child{border-right:0;border-bottom:1px solid var(--border)}.prooflab-accepted-plan,.prooflab-certificate,.prooflab-prediction-result{grid-template-columns:1fr}.prooflab-mode-banner{display:block}.prooflab-mode-banner span{max-width:none;margin-top:5px;text-align:left}.prooflab-literature-meta{grid-template-columns:1fr}.prooflab-literature-meta>span:last-child{text-align:left}.prooflab-footer{grid-template-columns:1fr;padding:28px 20px}}@media (max-width:560px){.prooflab-brand-divider,.prooflab-brand>span:nth-child(2),.prooflab-nav a{display:none}.prooflab-nav a:first-child{display:inline}.prooflab-hero h1{font-size:2.75rem}.prooflab-section-heading{display:block}.prooflab-model-chip{display:inline-block;margin-top:14px}.prooflab-verdict{padding:22px}.prooflab-verdict h2{font-size:1.8rem}.prooflab-literature>header{display:block}.prooflab-literature-status{display:inline-block;margin-bottom:12px}.prooflab-boundary,.prooflab-math-line{grid-template-columns:1fr}.prooflab-boundary>span{transform:rotate(90deg);justify-self:center}.prooflab-boundary div:last-child{text-align:left}.prooflab-certificate-actions{display:grid}.prooflab-certificate-actions button{width:100%}.prooflab-prediction-choices{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (prefers-reduced-motion:reduce){.prooflab-shell *,.prooflab-shell :after,.prooflab-shell :before{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important}}