.ProofChain-module__66-2uW__proofChain{padding:16px 12px}.ProofChain-module__66-2uW__chainBtnRow{gap:8px;margin:0 0 18px -6px;display:flex}.ProofChain-module__66-2uW__expandBtn,.ProofChain-module__66-2uW__reportBtn{border:1px solid var(--p7y-text-muted);background:var(--p7y-bg-panel);color:var(--p7y-text);font-family:var(--p7y-font);cursor:pointer;border-radius:4px;padding:6px 14px;font-size:14px}.ProofChain-module__66-2uW__expandBtn:hover,.ProofChain-module__66-2uW__reportBtn:hover{color:var(--p7y-text);background:var(--p7y-bg-lighter)}.ProofChain-module__66-2uW__expandBtnActive{color:var(--p7y-green-btn);border-color:var(--p7y-green-btn)}.ProofChain-module__66-2uW__reportBtnDisabled{opacity:.5;cursor:default}.ProofChain-module__66-2uW__hidden{display:none!important}.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__chainPill{max-width:240px;font-family:var(--p7y-font);color:var(--p7y-text);background:var(--p7y-bg-panel);border:1px solid var(--p7y-text-dim);outline:1px solid var(--p7y-text-dim);outline-offset:3px;cursor:pointer;word-wrap:break-word;border-radius:4px;align-items:center;padding:5px 10px;font-size:14px;line-height:1.35;transition:border-color .15s,outline-color .15s,background .15s;display:inline-flex}.ProofChain-module__66-2uW__chainPill:hover{border-color:var(--p7y-text);outline-color:var(--p7y-text);background:var(--p7y-bg-lighter)}.ProofChain-module__66-2uW__chainPillColored{border-color:var(--pill-color);outline-color:var(--pill-color-alt,var(--pill-color))}.ProofChain-module__66-2uW__chainPillColored:hover{border-color:var(--pill-color);outline-color:var(--pill-color-alt,var(--pill-color));background:var(--p7y-bg-lighter);filter:brightness(1.15)}.ProofChain-module__66-2uW__chainPillProved{border-color:var(--p7y-green-btn);outline-color:var(--p7y-green-btn)}.ProofChain-module__66-2uW__chainPillNotProved{border-color:var(--p7y-warning);outline-color:var(--p7y-warning)}.ProofChain-module__66-2uW__chainPillText{-webkit-line-clamp:3;-webkit-box-orient:vertical;display:-webkit-box;overflow:hidden}.ProofChain-module__66-2uW__chainPill:hover .ProofChain-module__66-2uW__chainPillText{-webkit-line-clamp:unset;overflow:visible}.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__chainDetails{border-top:1px solid var(--p7y-border);margin-top:12px}.ProofChain-module__66-2uW__chainDetailsSummary{cursor:pointer;color:var(--p7y-text-dim);font-family:var(--p7y-font);padding:8px 12px;font-size:14px}.ProofChain-module__66-2uW__chainDetailsSummary:hover{color:var(--p7y-text)}.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}
.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__bindingType{font-size:var(--fontsize-fluid-sm,12px);color:var(--text-muted);text-transform:uppercase;letter-spacing:.5px}.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__proofMeta{color:var(--text-muted);font-size:var(--fontsize-fluid-sm,13px)}