.sat-pane .sat-verifier-id{font-family:var(--mono);color:var(--fg-3);align-items:center;gap:10px;font-size:10px;display:flex}.sat-pane .sat-verifier-id code{color:var(--a)}.sat-body{flex-direction:column;gap:16px;display:flex}.sat-row{grid-template-columns:220px 1fr;gap:16px;display:grid}@media (max-width:720px){.sat-row{grid-template-columns:1fr}}.sat-vars h6,.sat-formula h6{font-family:var(--mono);color:var(--fg-3);letter-spacing:.14em;text-transform:uppercase;margin:0 0 8px;font-size:10px;font-weight:500}.sat-formula h6 small{letter-spacing:0;text-transform:none;color:var(--fg-3);font-family:var(--sans);margin-left:8px;font-size:11px}.sat-var-list{flex-direction:column;gap:4px;display:flex}.sat-var{background:var(--bg-2);border:1px solid var(--line-2);color:var(--fg-1);font-family:var(--mono);cursor:pointer;justify-content:space-between;align-items:center;padding:8px 12px;font-size:12px;transition:border-color .12s,background .12s;display:flex}.sat-var:hover{border-color:var(--fg-3)}.sat-var.on{border-color:var(--a);background:#00ffaa0a}.sat-var .lab{color:var(--fg);font-weight:500}.sat-var .val{color:var(--fg-3);letter-spacing:.08em;text-transform:uppercase;font-size:10px}.sat-var.on .val{color:var(--a)}.sat-var-actions{gap:6px;margin-top:10px;display:flex}.sat-var-actions .btn{flex:1}.sat-clauses{flex-direction:column;gap:4px;margin:0;padding:0;list-style:none;display:flex}.sat-clause{background:var(--bg-2);border:1px solid var(--line-2);font-family:var(--mono);border-left-width:2px;grid-template-columns:36px 1fr 18px;align-items:center;gap:10px;padding:6px 10px;font-size:12px;display:grid}.sat-clause.ok{border-left-color:var(--a)}.sat-clause.bad{border-left-color:var(--warn,#f87171)}.sat-clause-idx{color:var(--fg-3);letter-spacing:.08em;font-size:10px}.sat-clause-mark{font-size:12px}.sat-clause.ok .sat-clause-mark{color:var(--a)}.sat-clause.bad .sat-clause-mark{color:var(--warn,#f87171)}.sat-clause .lit.t{color:var(--a)}.sat-clause .lit.f,.sat-clause .op{color:var(--fg-3)}.sat-pane .hint{color:var(--fg-3);font-size:11px;font-family:var(--sans);margin:10px 0 0;line-height:1.5}.sat-pane .hint code{font-family:var(--mono);background:var(--bg-2);color:var(--fg);padding:1px 4px;font-size:10px}.sat-submit-row{border-top:1px solid var(--line-2);align-items:center;gap:12px;padding-top:14px;display:flex}.sat-submit-row .btn-prime{font-family:var(--mono);letter-spacing:.12em;padding:12px 22px;font-size:11px}.sat-err{color:var(--warn,#f87171);font-family:var(--mono);font-size:11px}.sat-loading{color:var(--fg-3);font-family:var(--mono);font-size:11px}.sat-attestation{border:1px solid var(--line-2);background:var(--bg-2);padding:14px 16px}.sat-attestation.v-pass{border-color:var(--a)}.sat-attestation.v-fail{border-color:var(--warn,#f87171)}.sat-attestation.v-malformed{border-color:var(--fg-3)}.sat-attestation-head{align-items:baseline;gap:12px;margin-bottom:12px;display:flex}.sat-attestation-head .lab{font-family:var(--mono);letter-spacing:.14em;color:var(--fg-3);font-size:10px}.sat-attestation-head .val{font-family:var(--mono);text-transform:uppercase;letter-spacing:.06em;font-size:18px}.v-pass .val{color:var(--a)}.v-fail .val{color:var(--warn,#f87171)}.v-malformed .val{color:var(--fg-3)}.sat-attestation-head .t{font-family:var(--mono);color:var(--fg-3);margin-left:auto;font-size:11px}.sat-attestation dl{grid-template-columns:110px 1fr;gap:4px 14px;margin:0;display:grid}.sat-attestation dt{font-family:var(--mono);text-transform:uppercase;letter-spacing:.08em;color:var(--fg-3);font-size:10px}.sat-attestation dd{color:var(--fg-1);word-break:break-all;margin:0;font-size:11px}.sat-attestation dd.mono{font-family:var(--mono)}.sat-attestation dd.wrap{white-space:pre-wrap}
.lean-pane .lean-axiom-id{font-family:var(--mono);color:var(--fg-3);align-items:center;gap:10px;font-size:10px;display:flex}.lean-pane .lean-axiom-id code{color:var(--a)}.lean-body{flex-direction:column;gap:16px;display:flex}.lean-body h6{font-family:var(--mono);color:var(--fg-3);letter-spacing:.14em;text-transform:uppercase;margin:0 0 8px;font-size:10px;font-weight:500}.lean-claim{border:1px solid var(--line-2);background:var(--bg-2);padding:12px 14px}.lean-code{background:var(--bg-1);border:1px solid var(--line-2);color:var(--fg);font-family:var(--mono);margin:0 0 10px;padding:10px 12px;font-size:12px;overflow-x:auto}.lean-checks{font-family:var(--sans);color:var(--fg-2);margin:0;padding-left:18px;font-size:11px;line-height:1.55}.lean-input{flex-direction:column;gap:10px;display:flex}.lean-drop{border:1px dashed var(--line-2);background:var(--bg-2);cursor:pointer;text-align:left;padding:18px 14px;transition:border-color .12s,background .12s}.lean-drop:hover,.lean-drop.dragging{border-color:var(--a);background:#00ffaa0a}.lean-drop b{font-family:var(--sans);color:var(--fg);margin-bottom:6px;font-size:13px;font-weight:500;display:block}.lean-drop .formats{color:var(--fg-3);font-family:var(--mono);letter-spacing:.1em;text-transform:uppercase;font-size:10px;display:block}.lean-textarea{background:var(--bg-1);border:1px solid var(--line-2);width:100%;min-height:160px;color:var(--fg);font-family:var(--mono);resize:vertical;padding:10px 12px;font-size:12px;line-height:1.6}.lean-textarea:focus{border-color:var(--a);outline:none}.lean-input-actions{align-items:center;gap:8px;display:flex}.lean-filename{font-family:var(--mono);color:var(--fg-3);letter-spacing:.08em;margin-right:auto;font-size:10px}.lean-input-actions .btn{margin-left:0}.lean-submit-row{border-top:1px solid var(--line-2);align-items:center;gap:12px;padding-top:14px;display:flex}.lean-submit-row .btn-prime{font-family:var(--mono);letter-spacing:.12em;padding:12px 22px;font-size:11px}.lean-err{color:var(--warn,#f87171);font-family:var(--mono);font-size:11px}.lean-loading{color:var(--fg-3);font-family:var(--mono);font-size:11px}.lean-attestation{border:1px solid var(--line-2);background:var(--bg-2);padding:14px 16px}.lean-attestation.v-pass{border-color:var(--a)}.lean-attestation.v-fail{border-color:var(--warn,#f87171)}.lean-attestation.v-malformed{border-color:var(--fg-3)}.lean-attestation-head{align-items:baseline;gap:12px;margin-bottom:8px;display:flex}.lean-attestation-head .lab{font-family:var(--mono);letter-spacing:.14em;color:var(--fg-3);font-size:10px}.lean-attestation-head .val{font-family:var(--mono);text-transform:uppercase;letter-spacing:.06em;font-size:18px}.v-pass .val{color:var(--a)}.v-fail .val{color:var(--warn,#f87171)}.v-malformed .val{color:var(--fg-3)}.lean-attestation-head .t{font-family:var(--mono);color:var(--fg-3);margin-left:auto;font-size:11px}.lean-reason{font-family:var(--mono);color:var(--fg-1);background:var(--bg-1);border-left:2px solid var(--warn,#f87171);white-space:pre-wrap;margin-bottom:12px;padding:8px 10px;font-size:11px}.v-pass .lean-reason{border-left-color:var(--a)}.lean-attestation dl{grid-template-columns:130px 1fr;gap:4px 14px;margin:0;display:grid}.lean-attestation dt{font-family:var(--mono);text-transform:uppercase;letter-spacing:.08em;color:var(--fg-3);font-size:10px}.lean-attestation dd{color:var(--fg-1);word-break:break-all;margin:0;font-size:11px}.lean-attestation dd.mono{font-family:var(--mono)}.lean-attestation dd.wrap{white-space:pre-wrap}
.mm-pane .mm-axiom-id{font-family:var(--mono);color:var(--fg-3);align-items:center;gap:10px;font-size:10px;display:flex}.mm-pane .mm-axiom-id code{color:var(--a)}.mm-body{flex-direction:column;gap:16px;display:flex}.mm-claim h6,.mm-input h6{font-family:var(--mono);color:var(--fg-3);letter-spacing:.14em;text-transform:uppercase;margin:0 0 8px;font-size:10px;font-weight:500}.mm-claim{border:1px solid var(--line-2);background:var(--bg-2);padding:12px 14px}.mm-claim-statement{font-family:var(--mono);color:var(--fg);margin:0 0 6px;font-size:13px}.mm-claim-statement b{color:var(--a)}.mm-checks{flex-direction:column;gap:4px;margin:8px 0 0;padding:0;list-style:none;display:flex}.mm-checks li{font-family:var(--mono);color:var(--fg-1);padding-left:16px;font-size:11px;position:relative}.mm-checks li:before{content:"›";color:var(--a);position:absolute;left:0}.mm-textarea{resize:vertical;background:var(--bg-2);border:1px solid var(--line-2);width:100%;min-height:200px;color:var(--fg);font-family:var(--mono);white-space:pre;overflow-wrap:normal;padding:12px 14px;font-size:12px;line-height:1.55;overflow-x:auto}.mm-textarea:focus{border-color:var(--a);outline:none}.mm-preview{flex-wrap:wrap;gap:8px;margin:10px 0 0;display:flex}.mm-chip{font-family:var(--mono);letter-spacing:.06em;text-transform:uppercase;border:1px solid var(--line-2);background:var(--bg-2);color:var(--fg-2);border-left-width:2px;padding:4px 10px;font-size:10px}.mm-chip.ok{border-left-color:var(--a);color:var(--a)}.mm-chip.bad{border-left-color:var(--warn,#f87171);color:var(--warn,#f87171)}.mm-chip.neutral{border-left-color:var(--fg-3)}.mm-input-actions{flex-wrap:wrap;gap:6px;margin-top:10px;display:flex}.mm-input-actions .btn{font-size:10px}.mm-pane .hint{color:var(--fg-3);font-size:11px;font-family:var(--sans);margin:10px 0 0;line-height:1.5}.mm-pane .hint code{font-family:var(--mono);background:var(--bg-2);color:var(--fg);padding:1px 4px;font-size:10px}.mm-submit-row{border-top:1px solid var(--line-2);align-items:center;gap:12px;padding-top:14px;display:flex}.mm-submit-row .btn-prime{font-family:var(--mono);letter-spacing:.12em;padding:12px 22px;font-size:11px}.mm-err{color:var(--warn,#f87171);font-family:var(--mono);font-size:11px}.mm-loading{color:var(--fg-3);font-family:var(--mono);font-size:11px}.mm-attestation{border:1px solid var(--line-2);background:var(--bg-2);padding:14px 16px}.mm-attestation.v-pass{border-color:var(--a)}.mm-attestation.v-fail{border-color:var(--warn,#f87171)}.mm-attestation.v-malformed{border-color:var(--fg-3)}.mm-attestation-head{align-items:baseline;gap:12px;margin-bottom:12px;display:flex}.mm-attestation-head .lab{font-family:var(--mono);letter-spacing:.14em;color:var(--fg-3);font-size:10px}.mm-attestation-head .val{font-family:var(--mono);text-transform:uppercase;letter-spacing:.06em;font-size:18px}.mm-attestation.v-pass .val{color:var(--a)}.mm-attestation.v-fail .val{color:var(--warn,#f87171)}.mm-attestation.v-malformed .val{color:var(--fg-3)}.mm-attestation-head .t{font-family:var(--mono);color:var(--fg-3);margin-left:auto;font-size:11px}.mm-reason{font-family:var(--mono);color:var(--fg-1);background:var(--bg);border-left:2px solid var(--line-2);margin-bottom:12px;padding:8px 10px;font-size:11px;line-height:1.5}.mm-attestation dl{grid-template-columns:120px 1fr;gap:4px 14px;margin:0;display:grid}.mm-attestation dt{font-family:var(--mono);text-transform:uppercase;letter-spacing:.08em;color:var(--fg-3);font-size:10px}.mm-attestation dd{color:var(--fg-1);word-break:break-all;margin:0;font-size:11px}.mm-attestation dd.mono{font-family:var(--mono)}.mm-attestation dd.wrap{white-space:pre-wrap}