.proof-explorer{margin-top:34px;border:1px solid #dce6ea;border-radius:16px;overflow:hidden;background:#fff;box-shadow:0 10px 40px #223e4a06}
.proof-explorer .explorer-heading{padding:26px 28px 21px;align-items:center}.proof-explorer .explorer-heading p{max-width:435px;text-align:right;line-height:1.6}
.proof-explorer .logic-controls{padding:8px;gap:6px}.proof-explorer .logic-controls button{padding:10px 5px}.proof-explorer .logic-controls button>span{display:inline-block;font-size:19px;margin:0 8px 0 0;vertical-align:middle}
.proof-toolbar{display:flex;align-items:center;justify-content:space-between;gap:20px;padding:16px 24px;border-bottom:1px solid var(--line);font-size:13px}.depth-controls{display:flex;align-items:center;gap:8px}.depth-controls>span{margin-right:5px;color:var(--muted)}.depth-controls button{border:1px solid var(--line);background:white;border-radius:7px;padding:3px 12px;color:var(--muted);font-size:13px}.depth-controls button[aria-pressed=true]{background:var(--ink);border-color:var(--ink);color:white}.proof-button{border:1px solid #d5e0e5;border-radius:8px;background:white;color:var(--ink);font-size:12px;padding:7px 12px;line-height:1.5;white-space:nowrap}.proof-button:hover{background:var(--soft)}.proof-button:disabled{opacity:.35;cursor:default}.proof-button.primary{background:var(--accent);border-color:var(--accent);color:white}.proof-button.primary:hover{background:#1b5d6c}.proof-button.quiet{border-color:transparent;background:transparent;color:var(--muted)}
.proof-workspace{display:grid;grid-template-columns:minmax(0,.92fr) minmax(0,1.08fr)}.proof-question{border-right:1px solid var(--line);min-width:0}.proof-panel-heading{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:18px 24px 12px}.proof-panel-heading h4{font-size:11px;letter-spacing:.9px}.proof-panel-heading>span{font-size:11px;color:var(--muted)}.proof-target{margin:0 24px 16px;padding:13px 16px;border-left:3px solid var(--accent);background:var(--soft);border-radius:0 6px 6px 0}.proof-target span{display:block;font-size:11px;color:var(--muted)}.proof-target strong{display:block;font-size:17px;line-height:1.5;margin-top:3px}.proof-premises{height:438px;overflow:auto;overscroll-behavior:contain;padding:0 16px 22px;scrollbar-width:thin;scrollbar-color:#d0dfe4 transparent}.proof-premises h4{padding:9px 8px 5px;font-size:10px;letter-spacing:.7px}.proof-premises ul{list-style:none;margin:0 0 12px;padding:0}.proof-premises li{display:flex;align-items:baseline;gap:12px;padding:9px 8px;border-radius:6px;font-size:13px;line-height:1.65;border:1px solid transparent;transition:background .2s,border-color .2s}.statement-id{font-size:10px;font-weight:600;color:#84959e;flex:0 0 19px;font-variant-numeric:tabular-nums}.proof-premises li.is-used{background:#eff6f6}.proof-premises li.is-current-rule{background:#e6f2f3;border-color:#b4d5dc}.proof-premises li.is-current-rule .statement-id{color:var(--accent)}
.proof-visual{min-width:0;background:#fafcfc}.proof-visual .proof-panel-heading{padding:13px 20px 10px;min-height:54px}.proof-legend{display:flex;align-items:center;gap:12px;margin-right:auto;font-size:10px;color:var(--muted)}.proof-legend span{display:flex;align-items:center;gap:5px}.proof-legend i{width:7px;height:7px;background:#3c8a99;border-radius:50%;display:inline-block}.proof-legend .pending{background:#fff;border:1px solid #c7d5da}.proof-canvas{height:467px;overflow:auto;overscroll-behavior:contain;scrollbar-width:thin;scrollbar-color:#c5d9dd transparent;background-image:radial-gradient(#dae5e8 .7px,transparent .7px);background-size:16px 16px}.proof-canvas svg{width:100%;height:auto;max-width:none;display:block}.proof-canvas.is-fit{overflow:hidden}.proof-canvas.is-fit svg{height:100%;width:100%}.proof-symbol-key{font-size:10px;color:var(--muted);padding:10px 20px;line-height:1.5;min-height:38px;border-top:1px solid #e9eff1;background:#fafcfc}
.proof-edge{fill:none;stroke:#cedce1;stroke-width:1.4;stroke-dasharray:4 4;opacity:.55;transition:stroke .2s,opacity .2s}.proof-edge.is-known{stroke-dasharray:none;opacity:1}.proof-edge.is-active{stroke:#267c8b;stroke-width:2.2}.proof-node{cursor:pointer;outline:none}.node-box{fill:#f9fbfc;stroke:#d4e0e5;stroke-width:1.2;stroke-dasharray:4 3;transition:fill .2s,stroke .2s}.node-caption{font:9px 'DM Sans',sans-serif;fill:#7f919b;letter-spacing:.6px}.node-formula{font:12px ui-monospace,Consolas,monospace;fill:#7c8e97}.proof-node.is-known .node-box{fill:white;stroke:#a6c9d0;stroke-dasharray:none}.proof-node.is-known .node-formula{fill:#324b55}.proof-node.is-support .node-box{fill:#eaf4f5;stroke:#6fa9b5}.proof-node.is-goal .node-box{stroke:#88aeba;stroke-width:1.8}.proof-node.is-selected .node-box{fill:#267787;stroke:#267787;stroke-dasharray:none}.proof-node.is-selected .node-formula,.proof-node.is-selected .node-caption{fill:white}.proof-node:hover .node-box,.proof-node:focus-visible .node-box{stroke:#1b697b;stroke-width:2.5}.proof-node:focus-visible .node-box{filter:drop-shadow(0 0 3px #267c8b60)}
.proof-playback{padding:20px 24px;border-top:1px solid var(--line);background:#fff}.proof-playback-top{display:flex;align-items:center;justify-content:space-between;gap:14px}.proof-step-label{font-size:12px;color:var(--muted);font-variant-numeric:tabular-nums}.proof-actions{display:flex;align-items:center;gap:7px}.proof-progress{width:100%;accent-color:var(--accent);height:4px;display:block;margin:19px 0 20px;cursor:pointer}.proof-explanation{min-height:79px;display:grid;grid-template-columns:205px 1fr;gap:22px;align-items:start}.proof-explanation strong{font-size:14px;font-weight:600;color:var(--accent)}.proof-explanation p{font-size:13px;line-height:1.7;color:#586b75;margin:0}.proof-footnote{padding:13px 24px;border-top:1px solid var(--line);font-size:11px;line-height:1.65;color:var(--muted);background:#fafcfc}.proof-footnote a{white-space:nowrap}.proof-explorer:not(.is-ready) .proof-workspace,.proof-explorer:not(.is-ready) .proof-toolbar,.proof-explorer:not(.is-ready) .proof-playback{display:none}
@media(max-width:800px){.proof-explorer .explorer-heading{display:block}.proof-explorer .explorer-heading p{text-align:left;max-width:none;margin-top:7px}.proof-explorer .logic-controls button>span{display:block;margin:0 0 4px}.proof-workspace{grid-template-columns:1fr}.proof-question{border-right:0;border-bottom:1px solid var(--line)}.proof-premises{height:280px;padding-bottom:10px}.proof-canvas{height:470px}.proof-canvas svg{max-width:620px;margin:auto}.proof-canvas.is-fit svg{max-width:none}.proof-explanation{grid-template-columns:1fr;gap:5px;min-height:110px}.proof-panel-heading{padding-top:18px}.proof-playback-top{flex-wrap:wrap}.proof-step-label{flex-basis:100%}}
@media(max-width:560px){.proof-explorer .explorer-heading{padding:22px 18px 18px}.proof-toolbar{padding:14px 15px;gap:8px}.depth-controls{gap:5px}.depth-controls>span{font-size:12px;margin-right:2px}.depth-controls button{padding:4px 10px}.proof-toolbar .proof-button{padding:6px 10px}.proof-panel-heading{padding-left:18px;padding-right:18px}.proof-target{margin-left:18px;margin-right:18px}.proof-premises{padding-left:10px;padding-right:10px}.proof-visual .proof-panel-heading{padding-left:15px;padding-right:15px;gap:10px}.proof-legend{gap:7px}.proof-canvas{height:390px}.proof-canvas:not(.is-fit) svg{min-width:470px}.proof-playback{padding:18px 16px}.proof-actions{gap:5px;width:100%;justify-content:space-between}.proof-actions .proof-button{font-size:11px;padding:7px 9px}.proof-footnote{padding:12px 18px}.proof-symbol-key{padding-left:16px;padding-right:16px}}

.proof-progress:focus-visible{outline:2px solid #4b9fb1;outline-offset:5px;border-radius:8px}