.TableauProof-module__NoWcPG__panel{border:1px solid var(--border-primary);background:var(--background-secondary);--tableau-surface:var(--background-secondary);border-radius:.75rem;padding:1rem 1.25rem}.TableauProof-module__NoWcPG__proof{text-align:start;flex-direction:column;gap:.75rem;display:flex}.TableauProof-module__NoWcPG__proof .TableauProof-module__NoWcPG__verdict{text-align:start;border-left:3px solid var(--border-primary);color:var(--foreground-secondary);max-width:46rem;margin:0;padding:.1rem 0 .1rem .75rem;font-size:.875rem;line-height:1.5}.TableauProof-module__NoWcPG__verdictClosed{border-left-color:var(--success-primary);color:var(--foreground-primary)}.TableauProof-module__NoWcPG__verdictOpen{border-left-color:var(--warning-color);color:var(--foreground-primary)}.TableauProof-module__NoWcPG__verdictTruncated{border-left-color:var(--info-color)}.TableauProof-module__NoWcPG__treeScroll{--surface:var(--tableau-surface,var(--background-primary));background:linear-gradient(to right, var(--surface) 40%, transparent) left center / 2rem 100% no-repeat local, linear-gradient(to left, var(--surface) 40%, transparent) right center / 2rem 100% no-repeat local, linear-gradient(to right, var(--border-secondary), transparent) left center / .85rem 100% no-repeat scroll, linear-gradient(to left, var(--border-secondary), transparent) right center / .85rem 100% no-repeat scroll;padding-bottom:.35rem;overflow-x:auto}.TableauProof-module__NoWcPG__tree,.TableauProof-module__NoWcPG__chain,.TableauProof-module__NoWcPG__branches{width:max-content;margin:0;padding:0;list-style:none}.TableauProof-module__NoWcPG__nodeItem{padding:0;list-style:none}.TableauProof-module__NoWcPG__node{border-radius:6px;align-items:baseline;gap:.6rem;width:max-content;min-width:11rem;padding:.15rem .4rem;display:flex}.TableauProof-module__NoWcPG__node:hover{background:var(--background-tertiary)}.TableauProof-module__NoWcPG__lineNumber{color:var(--foreground-tertiary);text-align:end;font-variant-numeric:tabular-nums;flex:0 0 1.75rem;font-size:.75rem}.TableauProof-module__NoWcPG__formula{color:var(--foreground-primary);white-space:nowrap;font-family:monospace;font-size:.95rem}.TableauProof-module__NoWcPG__sign{min-width:1.1em;color:var(--accent-primary);margin-right:.35rem;font-weight:700;display:inline-block}.TableauProof-module__NoWcPG__justification{color:var(--foreground-tertiary);white-space:nowrap;font-variant-numeric:tabular-nums;margin-left:auto;padding-left:1rem;font-size:.75rem}.TableauProof-module__NoWcPG__proof .TableauProof-module__NoWcPG__marker{text-align:start;flex-wrap:nowrap;align-items:baseline;gap:.6rem;margin:.1rem 0 0;padding:0 .4rem;font-size:.8rem;line-height:1.4;display:flex}.TableauProof-module__NoWcPG__markerDetail{min-width:0;color:var(--foreground-tertiary);font-family:monospace}.TableauProof-module__NoWcPG__closedMarker{color:var(--danger-primary);font-weight:700}.TableauProof-module__NoWcPG__openMarker{color:var(--warning-color-dark);font-weight:700}.TableauProof-module__NoWcPG__truncatedMarker{color:var(--foreground-tertiary)}.TableauProof-module__NoWcPG__chain{margin:0}.TableauProof-module__NoWcPG__branches{flex-wrap:nowrap;align-items:flex-start;gap:2rem;margin-top:.35rem;padding-left:.9rem;display:flex;position:relative}.TableauProof-module__NoWcPG__branches:before{content:"";background:var(--foreground-tertiary);width:2px;height:.35rem;position:absolute;top:-.35rem;left:.9rem}.TableauProof-module__NoWcPG__branch{border-left:2px solid var(--foreground-tertiary);background:color-mix(in srgb, var(--foreground-primary) 3%, transparent);border-radius:0 .5rem .5rem 0;padding:.35rem .6rem .4rem .85rem;position:relative}.TableauProof-module__NoWcPG__branch:before{content:"";background:var(--foreground-tertiary);width:.6rem;height:2px;position:absolute;top:.85rem;left:-2px}.TableauProof-module__NoWcPG__proof .TableauProof-module__NoWcPG__legend{max-width:none;color:var(--foreground-tertiary);flex-wrap:wrap;gap:.25rem 1rem;margin:0;padding:0 .4rem;font-size:.8rem;line-height:1.4;display:flex}.TableauProof-module__NoWcPG__proof .TableauProof-module__NoWcPG__legend:empty{display:none}@media (max-width:768px){.TableauProof-module__NoWcPG__proof{gap:.5rem}.TableauProof-module__NoWcPG__branches{gap:.85rem;margin-top:.3rem;padding-left:.45rem}.TableauProof-module__NoWcPG__branches:before{height:.3rem;top:-.3rem;left:.45rem}.TableauProof-module__NoWcPG__branch{padding:.3rem .35rem .35rem .6rem}.TableauProof-module__NoWcPG__formula{font-size:.9rem}.TableauProof-module__NoWcPG__justification{padding-left:.5rem}.TableauProof-module__NoWcPG__proof .TableauProof-module__NoWcPG__verdict{font-size:.85rem}.TableauProof-module__NoWcPG__node{gap:.45rem;min-width:8rem;padding:.1rem .25rem}.TableauProof-module__NoWcPG__proof .TableauProof-module__NoWcPG__marker{gap:.45rem;padding:0 .25rem}.TableauProof-module__NoWcPG__proof .TableauProof-module__NoWcPG__legend{padding:0 .25rem}}.TableauProof-module__NoWcPG__export{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.TableauProof-module__NoWcPG__exportError{color:var(--danger-primary);margin:0;font-size:.8rem}.TableauProof-module__NoWcPG__learnMore{text-align:start;margin:0;font-size:.9rem}.TableauProof-module__NoWcPG__learnMore a{color:var(--accent-primary);white-space:nowrap}