.prose .logic-lab{border:1px solid var(--line-strong);border-top:3px solid var(--accent);background:var(--surface);font-family:var(--font);letter-spacing:normal;border-radius:5px;min-width:0;margin:2.3rem 0;padding:1.4rem;scroll-margin-top:5rem;font-size:.9rem;line-height:1.65}.prose .logic-lab *{min-width:0}.prose .logic-lab header{margin-bottom:1.2rem}.prose .logic-lab .lab-kicker{color:var(--accent);text-transform:uppercase;letter-spacing:.07em;margin:0 0 .45rem;font-size:.73rem;font-weight:700}.prose .logic-lab h3{margin:0 0 .6rem;font-size:1.12rem;line-height:1.45}.prose .logic-lab p{margin:.65rem 0}.prose .logic-lab label{font-weight:600;display:block}.prose .logic-lab input,.prose .logic-lab textarea,.prose .logic-lab select{background:var(--bg);color:var(--text);border:1px solid var(--control-line);font:inherit;border-radius:3px;max-width:100%;padding:.55rem .65rem}.prose .logic-lab select{width:100%;margin:.35rem 0 .55rem}.prose .logic-lab textarea{resize:vertical;tab-size:2;width:100%;min-height:11rem;margin:.5rem 0;line-height:1.65;display:block}.prose .logic-lab button{font:inherit;cursor:pointer;border:1px solid var(--control-line);background:var(--bg);min-height:44px;color:var(--text);border-radius:3px;padding:.5rem .9rem}.prose .logic-lab button.primary{background:var(--accent);color:var(--bg);border-color:var(--accent);font-weight:700}.prose .logic-lab button:hover:not(:disabled){filter:brightness(.92)}.prose .logic-lab button:disabled{opacity:.5;cursor:default}.prose .logic-lab :is(button,input,textarea,select,summary):focus-visible{outline:2px solid var(--accent);outline-offset:3px}.prose .logic-lab .lab-actions{flex-wrap:wrap;gap:.55rem;margin:1rem 0;display:flex}.prose .logic-lab .lab-domain,.prose .logic-lab .lab-small{color:var(--muted);font-size:.78rem}.prose .logic-lab .lab-prediction{background:var(--bg);border-left:2px solid var(--line-strong);padding:.7rem .9rem}.prose .logic-lab fieldset{border:0;margin:1rem 0;padding:0}.prose .logic-lab legend{margin-bottom:.6rem;font-weight:700}.prose .logic-lab .constraint-row{grid-template-columns:25px minmax(70px,auto) 1fr;align-items:center;gap:.6rem;margin-bottom:.55rem;display:grid}.prose .logic-lab .constraint-row input[type=checkbox]{width:19px;height:19px;accent-color:var(--accent);margin:0}.prose .logic-lab .constraint-row input[type=text]{width:100%;font-size:.82rem}.prose .logic-lab .constraint-row label{overflow-wrap:anywhere;font-size:.78rem}.prose .logic-lab details{border-top:1px solid var(--line);margin:.8rem 0;padding-top:.7rem}.prose .logic-lab summary{cursor:pointer;font-weight:600}.prose .logic-lab pre{background:var(--bg);border:1px solid var(--line);font:inherit;white-space:pre-wrap;overflow-wrap:anywhere;border-radius:3px;padding:.8rem;font-size:.8rem;line-height:1.7;overflow:auto}.prose .logic-lab code{font-size:inherit;background:0 0;padding:0}.prose .logic-lab .lab-result{background:var(--bg);border:1px solid var(--line-strong);margin:1rem 0;padding:1rem}.prose .logic-lab .lab-status{font-weight:700;display:block}.prose .logic-lab .lab-output{overflow-wrap:anywhere}.prose .logic-lab .lab-output ul{padding-left:1.3rem}.prose .logic-lab .lab-output li{margin:.4rem 0}.prose .logic-lab .lab-output table{width:100%;margin:.7rem 0;font-size:.8rem;display:table}.prose .logic-lab .lab-output td,.prose .logic-lab .lab-output th{white-space:normal;padding:.5rem}.prose .logic-lab .lab-scope{border-top:1px solid var(--line);color:var(--muted);padding-top:.9rem;font-size:.78rem}.prose .logic-lab .lab-trail{border:1px solid var(--line);background:var(--bg);padding:.75rem}.prose .logic-lab [hidden]{display:none!important}@media (width<=540px){.prose .logic-lab{padding:1rem}.prose .logic-lab .constraint-row{grid-template-columns:25px 1fr}.prose .logic-lab .constraint-row input[type=text]{grid-column:2}}@media print{.prose .logic-lab .lab-actions{display:none}}.prose .logic-lab .lab-table-wrap{margin:1rem 0;overflow-x:auto}.prose .logic-lab .lab-matrix{width:100%;margin:0;font-size:.8rem;display:table}.prose .logic-lab .lab-matrix th,.prose .logic-lab .lab-matrix td{white-space:normal;text-align:center;padding:.65rem .35rem}.prose .logic-lab input[type=checkbox]{width:19px;height:19px;accent-color:var(--accent)}.prose .logic-lab .lab-check{align-items:center;gap:.65rem;font-size:.83rem;display:flex}.prose .logic-lab .lab-check input{flex-shrink:0}.prose .logic-lab .lab-station{margin-top:1.5rem}.prose .logic-lab .lab-station>summary{padding:.5rem 0}.prose .logic-lab .lab-matrix input{cursor:pointer}.prose .logic-lab fieldset{border:1px solid var(--line);border-radius:4px;min-width:0;margin:1rem 0;padding:1rem}.prose .logic-lab legend{padding:0 .4rem;font-size:.8rem;font-weight:600}.prose .logic-lab .lab-proof-line{grid-template-columns:1.3fr 1fr 1fr;gap:.6rem;display:grid}.prose .logic-lab .lab-proof-line label{min-width:0;margin:0}.prose .logic-lab .lab-proof-line select,.prose .logic-lab input[data-goal]{width:100%}.prose .logic-lab textarea[data-context]{min-height:5rem}.prose .logic-lab textarea[data-source]{min-height:7rem}.prose .logic-lab .lab-proof-tree,.prose .logic-lab .lab-proof-tree ol{border-left:1px solid var(--line);margin:.75rem 0;padding-left:.8rem;list-style:none}.prose .logic-lab .lab-proof-tree{border:0;padding-left:0}.prose .logic-lab .lab-proof-tree li{margin:.5rem 0;padding:0}.prose .logic-lab .proof-judgment{border-top:1px solid var(--line);font-family:var(--font-mono,monospace);overflow-wrap:anywhere;margin:.35rem 0;padding-top:.45rem;font-size:.78rem}.prose .logic-lab .proof-rule{color:var(--muted);font-size:.72rem;display:block}.prose .logic-lab .lab-reduction-trace{padding-left:1.2rem}.prose .logic-lab .lab-reduction-trace p{font-size:.75rem}@media (width<=600px){.prose .logic-lab .lab-proof-line{grid-template-columns:1fr}}.prose .logic-lab .lab-canvas{border:1px solid var(--line);background:var(--bg);margin:1rem 0;padding:1.2rem;overflow:auto}.prose .logic-lab .lab-input-row{grid-template-columns:minmax(0,2fr) minmax(0,1fr);align-items:end;gap:1rem;display:grid}.prose .logic-lab .lab-input-row input,.prose .logic-lab [data-aux],.prose .logic-lab [data-custom-goal],.prose .logic-lab [data-source]{width:100%}.prose .logic-lab .lab-feedback{font-size:.82rem;line-height:1.65}.prose .logic-lab .lab-status-row{border-bottom:1px solid var(--line);padding:.65rem 0;font-size:.82rem;font-weight:600}.prose .logic-lab .lab-selected-goal{font-size:.92rem}.prose .logic-lab .lab-assumptions h4{color:var(--muted);margin:.75rem 0 .4rem;font-size:.76rem;font-weight:600}.prose .logic-lab .lab-assumptions p{font-size:.78rem}.prose .logic-lab .lab-assumption{margin:0 .5rem .5rem 0;padding:.3rem .65rem;font-family:KaTeX_Main,Times New Roman,serif;font-size:1rem}.prose .logic-lab .lab-rule-palette{grid-template-columns:repeat(auto-fit,minmax(190px,1fr));gap:.65rem;margin:.7rem 0;display:grid}.prose .logic-lab .lab-rule-card{white-space:normal;flex-direction:column;align-items:center;gap:.6rem;padding:.75rem;font-size:.72rem;display:flex}.prose .logic-lab .lab-rule-schema{white-space:pre-wrap;flex-direction:column;align-items:stretch;font:1.08rem KaTeX_Main,Times New Roman,serif;display:flex}.prose .logic-lab .lab-rule-schema>span:last-child{text-align:center;border-top:1px solid;margin-top:.3rem;padding-top:.2rem}.prose .logic-lab .gentzen-canvas{scrollbar-gutter:stable;min-height:130px;padding:1.5rem .9rem}.prose .logic-lab .gentzen-tree{justify-content:center;min-width:max-content;font:1.13rem/1.5 KaTeX_Main,Times New Roman,serif;display:flex}.prose .logic-lab .gentzen-node{flex-direction:column;align-items:center;min-width:max-content;display:flex}.prose .logic-lab .gentzen-premises{justify-content:center;align-items:flex-end;gap:1.5rem;width:100%;padding:0 .5rem .3rem;display:flex}.prose .logic-lab .gentzen-inference{border-top:1px solid;justify-content:center;align-items:baseline;gap:.65rem;min-width:100%;padding:.18rem .45rem 0;display:flex}.prose .logic-lab .gentzen-rule-label{white-space:nowrap;color:var(--muted);font-size:.8rem}.prose .logic-lab .gentzen-assumption{white-space:nowrap;padding:.15rem .2rem}.prose .logic-lab .gentzen-assumption sup{padding-left:.18rem;font-size:.65em}.prose .logic-lab .gentzen-hole{font:inherit;border:1px dashed var(--control-line);white-space:nowrap;padding:.4rem .7rem}.prose .logic-lab .gentzen-hole[aria-pressed=true]{outline:2px solid var(--accent);outline-offset:2px;color:var(--accent)}.prose .logic-lab .tm-tape{justify-content:center;gap:0;padding:1rem .4rem;display:flex;overflow:hidden}.prose .logic-lab .tm-cell{text-align:center;flex:1;min-width:0;max-width:65px}.prose .logic-lab .tm-cell small{color:var(--muted);font-size:.6rem;display:block}.prose .logic-lab .tm-cell strong{border:1px solid var(--line-strong);border-right:0;padding:.5rem 0;font:1.15rem KaTeX_Main,Times New Roman,serif;display:block}.prose .logic-lab .tm-cell:last-child strong{border-right:1px solid var(--line-strong)}.prose .logic-lab .tm-cell>span{color:var(--accent);font-size:.6rem}.prose .logic-lab .tm-head strong{background:var(--accent);color:var(--bg)}.prose .logic-lab .tm-transitions{width:100%;min-width:530px;margin:0;font-size:.78rem;display:table}.prose .logic-lab .tm-transitions th,.prose .logic-lab .tm-transitions td{padding:.35rem}.prose .logic-lab .tm-transitions input{width:100%;min-width:80px}.prose .logic-lab .tm-transitions select{min-width:55px;margin:0}.prose .logic-lab .tm-transitions button{padding:.2rem .6rem}.prose .logic-lab .tm-active td{background:color-mix(in srgb, var(--accent) 9%, var(--bg))}.prose .logic-lab .diagonal-entry{background:color-mix(in srgb, var(--accent) 9%, var(--bg));outline:1px solid var(--accent);outline-offset:-3px}.prose .logic-lab .diagonal-result{border-top:2px solid var(--accent);color:var(--accent);font-weight:700}.prose .logic-lab .lab-state-graph{max-width:540px;color:var(--muted);margin:.8rem auto}.prose .logic-lab .lab-state-graph svg{width:100%;height:auto;display:block}.prose .logic-lab .state-node circle{fill:var(--bg);stroke:var(--control-line);stroke-width:2px}.prose .logic-lab .state-node text{fill:var(--text);font-size:22px;font-family:var(--font)}.prose .logic-lab .state-selected circle{stroke:var(--accent);stroke-width:3px}.prose .logic-lab .state-node .state-mark{fill:var(--accent);font-size:20px}@media (width<=540px){.prose .logic-lab .lab-input-row{grid-template-columns:1fr;gap:.5rem}.prose .logic-lab .gentzen-tree{font-size:1rem}.prose .logic-lab .gentzen-premises{gap:.8rem}.prose .logic-lab .lab-rule-palette{grid-template-columns:1fr}}.prose .logic-lab .state-node .state-name{font-size:21px}@media (width<=1020px){.prose .logic-lab{scroll-margin-top:14rem}}.prose .logic-lab .lab-controls{flex-wrap:wrap;align-items:center;gap:.7rem 1.2rem;display:flex}.prose .logic-lab .lab-controls .lab-check{cursor:pointer;min-height:44px;margin:0}.prose .logic-lab[data-learning-lab=russell] [data-proof] td:nth-child(2){white-space:nowrap;overflow-wrap:normal}@media (width<=650px){.prose .logic-lab[data-learning-lab=russell] [data-proof] table,.prose .logic-lab[data-learning-lab=russell] [data-proof] tbody{width:100%;display:block}.prose .logic-lab[data-learning-lab=russell] [data-proof] caption{margin-bottom:.6rem;display:block}.prose .logic-lab[data-learning-lab=russell] [data-proof] thead{clip-path:inset(50%);width:1px;height:1px;position:absolute;overflow:hidden}.prose .logic-lab[data-learning-lab=russell] [data-proof] tbody tr{border:1px solid var(--line);grid-template-columns:2rem minmax(0,1fr);margin:.6rem 0;display:grid}.prose .logic-lab[data-learning-lab=russell] [data-proof] td{border:0;padding:.5rem;display:block}.prose .logic-lab[data-learning-lab=russell] [data-proof] td:first-child{border-right:1px solid var(--line);grid-row:1/span 2}.prose .logic-lab[data-learning-lab=russell] [data-proof] td:nth-child(2){padding-bottom:0;font-weight:600}.prose .logic-lab[data-learning-lab=russell] [data-proof] td:nth-child(3){grid-column:2}}