.ProofChain-module__66-2uW__proofChain{padding:16px 12px}.ProofChain-module__66-2uW__chainKbSet{flex-wrap:wrap;gap:8px;margin-bottom:4px;display:flex}.ProofChain-module__66-2uW__chainNode{flex-direction:column;flex:280px;align-items:center;min-width:280px;display:flex}.ProofChain-module__66-2uW__chainDividerRow{align-items:center;gap:8px;margin:16px 0;display:flex}.ProofChain-module__66-2uW__chainDivider{border-top:1px dashed var(--p7y-text-dim);flex:1}.ProofChain-module__66-2uW__chainRuleLabel{font-family:var(--p7y-font);color:var(--p7y-text-dim);text-transform:uppercase;letter-spacing:.08em;white-space:nowrap;font-size:14px}.ProofChain-module__66-2uW__chainTargetRow{align-items:center;gap:12px;display:flex}.ProofChain-module__66-2uW__chainProvenLabel{font-family:var(--p7y-font);color:var(--p7y-green-btn);text-transform:uppercase;letter-spacing:.12em;white-space:nowrap;flex-shrink:0;font-size:14px;font-weight:700}.ProofChain-module__66-2uW__treeWrapper{border:1px solid var(--p7y-border);cursor:pointer;border-radius:4px;flex-direction:column;width:max-content;max-width:100%;display:flex;position:relative;overflow-x:auto}.ProofChain-module__66-2uW__treeWrapper:hover{border-color:var(--p7y-text-dim)}.ProofChain-module__66-2uW__treeWrapper svg{width:auto!important;height:auto!important;min-height:0!important;max-height:none!important}.ProofChain-module__66-2uW__treeCaption{font-family:var(--p7y-font);color:var(--p7y-text-dim);text-align:left;order:99;margin-top:-8px;padding:0 10px 6px;font-size:14px}.ProofChain-module__66-2uW__resolutionArrowsSvg{pointer-events:none;z-index:10;width:100%;position:absolute;top:0;left:0;overflow:visible}.ProofChain-module__66-2uW__resolutionArrowsSvg .resolution-arrow{fill:none;stroke-width:2px;stroke-linecap:round;stroke-linejoin:round}:is(.ProofChain-module__66-2uW__proofChain .tree-node[data-glow=colored] rect,.ProofChain-module__66-2uW__proofChain .tree-node[data-glow=pivot] rect){stroke:var(--glow-color);stroke-width:3px;filter:drop-shadow(0 0 6px var(--glow-color))}.ProofChain-module__66-2uW__proofChain .tree-node[data-glow=dual] rect{stroke:var(--glow-color-a);stroke-width:3px;filter:drop-shadow(-3px 0 6px var(--glow-color-a)) drop-shadow(3px 0 6px var(--glow-color-b))}.ProofChain-module__66-2uW__chainStatus{color:var(--text-muted);margin-top:8px;font-size:13px}
.page-module__0NnneW__toolbar{border-bottom:1px solid var(--border);background:var(--surface);flex-wrap:wrap;align-items:center;gap:12px;padding:8px 16px;display:flex}.page-module__0NnneW__runBtn{background:var(--primary);min-height:36px;color:var(--bg);font:inherit;cursor:pointer;touch-action:manipulation;border:none;border-radius:4px;padding:6px 14px;font-weight:700}.page-module__0NnneW__runBtn:disabled{opacity:.5;cursor:not-allowed}.page-module__0NnneW__select{background:var(--surface-2);min-height:36px;color:var(--text);border:1px solid var(--border);font:inherit;cursor:pointer;touch-action:manipulation;border-radius:4px;padding:4px 8px}.page-module__0NnneW__toolbarLink{min-height:36px;color:var(--text);border-radius:4px;align-items:center;padding:4px 8px;text-decoration:none;display:inline-flex}@media (hover:hover){.page-module__0NnneW__toolbarLink:hover{background:var(--surface-2)}}.page-module__0NnneW__toolbarBtn{background:var(--surface-2);min-height:36px;color:var(--text);border:1px solid var(--border);font:inherit;cursor:pointer;touch-action:manipulation;border-radius:4px;padding:6px 12px}@media (hover:hover){.page-module__0NnneW__toolbarBtn:hover{background:var(--surface)}}.page-module__0NnneW__main{flex:1;min-height:0;display:flex;container-type:inline-size}.page-module__0NnneW__editorPanel{flex-direction:column;min-width:0;display:flex;overflow:hidden}.page-module__0NnneW__divider{background:var(--border);cursor:col-resize;touch-action:none;flex-shrink:0;width:6px}@media (hover:hover){.page-module__0NnneW__divider:hover{background:var(--text-muted)}}.page-module__0NnneW__resultsPanel{min-width:0;padding:16px;padding-bottom:calc(16px + env(safe-area-inset-bottom));zoom:var(--tree-zoom,1);flex-direction:column;display:flex;position:relative;overflow-y:auto}@container (max-width:600px){.page-module__0NnneW__main{flex-direction:column}.page-module__0NnneW__editorPanel,.page-module__0NnneW__resultsPanel{width:100%!important}.page-module__0NnneW__divider{cursor:row-resize;width:100%;height:6px}}.page-module__0NnneW__zoomControls{background:var(--surface);border:1px solid var(--border);z-index:1;border-radius:4px;align-self:flex-end;align-items:center;gap:4px;margin-bottom:8px;padding:4px;display:inline-flex;position:sticky;top:0;right:0}.page-module__0NnneW__zoomBtn{background:var(--surface-2);min-width:32px;min-height:32px;color:var(--text);border:1px solid var(--border);font:inherit;cursor:pointer;touch-action:manipulation;border-radius:4px;padding:0}.page-module__0NnneW__zoomLevel{text-align:center;min-width:48px;font-size:var(--fontsize-fluid-sm,13px);color:var(--text-muted)}.page-module__0NnneW__placeholder{text-align:center;color:var(--text-muted);margin-top:24px;font-style:italic}.page-module__0NnneW__loading{text-align:center;color:var(--text-muted);margin-top:24px}.page-module__0NnneW__errors{background:color-mix(in srgb, var(--p7y-error) 8%, transparent);border:1px solid color-mix(in srgb, var(--p7y-error) 40%, transparent);color:var(--p7y-error);border-radius:4px;padding:12px}.page-module__0NnneW__errorLine{font-family:var(--font-mono);font-size:var(--fontsize-fluid-sm,13px);margin-bottom:4px}.page-module__0NnneW__errorLine:last-child{margin-bottom:0}.page-module__0NnneW__bindings{flex-direction:column;gap:16px;display:flex}.page-module__0NnneW__bindingItem{background:var(--surface);border:1px solid var(--border);border-radius:4px;flex-direction:column;gap:4px;padding:12px;display:flex}.page-module__0NnneW__bindingName{font-weight:700;font-family:var(--font-mono)}.page-module__0NnneW__bindingValueInline{font-family:var(--font-mono);font-size:var(--fontsize-fluid-sm,13px);color:var(--text-muted)}.page-module__0NnneW__bindingDetails summary{cursor:pointer;font-size:var(--fontsize-fluid-sm,12px);color:var(--text-muted)}.page-module__0NnneW__bindingValue{background:var(--surface-2);font-family:var(--font-mono);font-size:var(--fontsize-fluid-sm,13px);border-radius:4px;margin:0;padding:8px;overflow-x:auto}.page-module__0NnneW__proofResult{align-items:center;gap:6px;display:flex}.page-module__0NnneW__proofTrue{color:var(--p7y-ok-green);font-weight:700}.page-module__0NnneW__proofFalse{color:var(--p7y-error);font-weight:700}.page-module__0NnneW__proofSummary{align-items:baseline;gap:12px;font-size:13px;display:flex}