:root{--font-sans: "Inter", system-ui, sans-serif;--font-mono: "IBM Plex Mono", ui-monospace, monospace;--font-display: "Fraunces", "Times New Roman", serif;--bg-app: #FAF8F4;--bg-canvas: #FDFBF7;--bg-toolbar: #F2EFE8;--bg-elevated: #FFFFFF;--ink-strong: #1A1816;--ink-mid: #595650;--ink-soft: #8C887F;--ink-faint: #BFBBB1;--rule-soft: rgba(26, 24, 22, .07);--rule-mid: rgba(26, 24, 22, .14);--accent: #2A4A7F;--accent-soft: rgba(42, 74, 127, .12);--grid-minor: rgba(26, 24, 22, .045);--grid-major: rgba(26, 24, 22, .1);--axis-stroke: rgba(26, 24, 22, .4);--axis-label: #8C887F;--shape-stroke: #1A1816;--circle-stroke: #1A1816;--point-fill: #1A1816;--label-fill: #1A1816;--preview-stroke: #8C887F}*{box-sizing:border-box}html,body{margin:0;padding:0;height:100%;overflow:hidden;background:var(--bg-app);color:var(--ink-strong);font-family:var(--font-sans);font-size:14px;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}button{font-family:inherit;background:none;border:none;padding:0;margin:0;cursor:pointer;color:inherit}#app{position:relative;height:100vh;width:100vw;overflow:hidden}body.is-resizing{cursor:col-resize;-webkit-user-select:none;user-select:none}.canvas-host{position:absolute;top:0;right:0;bottom:0;left:0;overflow:hidden}.canvas-host>svg{display:block;width:100%;height:100%}.redraw-btn{position:absolute;bottom:1.25rem;right:1.25rem;padding:8px 16px;border-radius:6px;font-size:13px;font-weight:500;background:var(--accent);color:#fff;box-shadow:0 2px 8px #00000026;z-index:5}.redraw-btn:hover{background:#20396a}.redraw-btn:disabled{opacity:.55;cursor:not-allowed}.toolbar{display:flex;flex-direction:column;background:var(--bg-toolbar);border-right:1px solid var(--rule-mid);padding:24px 16px 16px;gap:4px;position:absolute;top:0;left:0;width:var(--toolbar-width, 350px);height:100%;z-index:10}.toolbar-resizer{position:absolute;top:0;right:-3px;width:6px;height:100%;cursor:col-resize;z-index:5;touch-action:none;transition:background .12s ease}.toolbar-resizer:hover,.toolbar-resizer.is-active{background:var(--accent-soft)}.toolbar-brand{display:flex;align-items:baseline;gap:10px;padding:0 6px 22px;margin-bottom:6px;border-bottom:1px solid var(--rule-soft)}.toolbar-brand-mark{font-family:var(--font-display);font-style:italic;font-size:28px;font-weight:500;color:var(--ink-strong);line-height:1}.toolbar-brand-name{font-size:12px;letter-spacing:.18em;text-transform:uppercase;color:var(--ink-mid)}.toolbar-group{display:flex;flex-direction:column;gap:2px;margin-top:12px;flex:1 1 auto;min-height:0;overflow-y:auto}.tool-btn{display:flex;align-items:center;gap:12px;padding:8px 10px;border-radius:6px;color:var(--ink-mid);transition:background .12s ease,color .12s ease;position:relative}.tool-btn:hover{background:#1a18160a;color:var(--ink-strong)}.tool-btn.is-active{background:var(--bg-elevated);color:var(--ink-strong);box-shadow:0 0 0 1px var(--rule-mid),0 1px 2px #1a18160a}.tool-btn.is-active:before{content:"";position:absolute;left:-16px;top:50%;transform:translateY(-50%);width:3px;height:18px;background:var(--accent);border-radius:0 2px 2px 0}.tool-btn svg{flex:0 0 auto}.tool-btn-label{flex:1;font-size:13px;font-weight:400;text-align:left;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.tool-btn-key{font-family:var(--font-mono);font-size:10.5px;color:var(--ink-faint);letter-spacing:.05em}.tool-btn:hover .tool-btn-key{color:var(--ink-soft)}.toolbar-spacer{flex:0 0 auto}.tool-btn-danger{color:var(--ink-soft)}.tool-btn-danger:hover{color:#8b2828}.toolbar-sep{height:1px;background:var(--rule-soft);margin:6px 0}.tool-group-btn .tool-btn-label{font-size:13px;font-weight:500;color:var(--ink-mid)}.tool-group-btn.has-active{background:var(--accent-soft)}.tool-group-btn.has-active .tool-btn-label{color:var(--accent)}.tool-group-arrow{font-size:14px;color:var(--ink-faint);margin-left:auto;line-height:1}.tool-group-btn.has-active .tool-group-arrow{color:var(--accent)}.tool-group-back .tool-btn-label{color:var(--accent);font-size:13px}.tool-group-back:hover{background:var(--accent-soft)}.panel-tab-switch{display:flex;align-items:stretch;margin:8px 0 6px;padding:2px;background:#1a18160a;border:1px solid var(--rule-mid);border-radius:8px}.panel-tab-btn{flex:1 1 0;padding:6px 10px;font-size:12.5px;font-weight:500;color:var(--ink-mid);border-radius:6px;transition:background .12s ease,color .12s ease}.panel-tab-btn:hover{color:var(--ink-strong)}.panel-tab-btn.is-active{background:var(--bg-elevated);color:var(--ink-strong);box-shadow:0 0 0 1px var(--rule-mid),0 1px 2px #1a18160a}.panel-proofs{display:flex;flex-direction:column;flex:1;min-height:0}.proofs-list{flex:1;min-height:0;overflow-y:auto;display:flex;flex-direction:column;gap:4px;padding-top:8px}.proofs-list-empty{margin:0;padding:8px 6px;font-size:13px;color:var(--ink-soft)}.proofs-list-item{position:relative;display:flex;align-items:center;gap:4px;padding:2px 4px 2px 10px;border-radius:6px;transition:background .12s ease}.proofs-list-item:hover{background:#1a18160a}.proofs-list-item-main{flex:1;display:flex;align-items:center;gap:8px;min-width:0;cursor:pointer;padding:6px 0;outline:none;border-radius:4px}.proofs-list-item-main:focus-visible{box-shadow:0 0 0 2px var(--accent-soft)}.proofs-list-name{flex:1;font-family:var(--font-mono);font-size:11.5px;color:var(--ink-strong);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.proofs-list-menu-btn{flex-shrink:0;width:24px;height:24px;display:flex;align-items:center;justify-content:center;font-size:16px;color:var(--ink-soft);border-radius:4px;transition:background .12s ease,color .12s ease;opacity:0}.proofs-list-item:hover .proofs-list-menu-btn,.proofs-list-item:focus-within .proofs-list-menu-btn{opacity:1}.proofs-list-menu-btn:hover{background:#1a181614;color:var(--ink-strong)}.proofs-list-dropdown{display:none;position:absolute;top:calc(100% + 2px);right:0;z-index:200;background:var(--bg-elevated);border:1px solid var(--rule-mid);border-radius:8px;box-shadow:0 4px 16px #1a18161f;padding:4px;min-width:130px}.proofs-list-dropdown.is-open{display:flex;flex-direction:column}.proofs-list-dropdown-item{width:100%;text-align:left;padding:7px 10px;font-size:13px;color:var(--ink-strong);border-radius:5px;transition:background .1s ease}.proofs-list-dropdown-item:hover{background:#1a18160f}.proofs-list-dropdown-item-danger{color:#8b2828}.proofs-list-dropdown-item-danger:hover{background:#8b282812}.proofs-list-rename-input{flex:1;font-family:var(--font-mono);font-size:11.5px;color:var(--ink-strong);background:var(--bg-elevated);border:1px solid var(--accent);border-radius:4px;padding:1px 5px;min-width:0;outline:none}.proofs-list.is-narrow .proof-status-badge{font-size:0;width:10px;height:10px;border-radius:50%;flex-shrink:0;background:var(--ink-faint)}.proofs-list.is-narrow .proof-status-badge[data-status=queued],.proofs-list.is-narrow .proof-status-badge[data-status=running]{background:var(--accent)}.proofs-list.is-narrow .proof-status-badge[data-status=succeeded]{background:#1a6b1a}.proofs-list.is-narrow .proof-status-badge[data-status=failed],.proofs-list.is-narrow .proof-status-badge[data-status=timed_out]{background:#8b2828}.proof-choice-dialog{width:min(420px,90vw)}.proof-choice-options{display:flex;flex-direction:column;gap:10px}.proof-choice-btn{width:100%;text-align:left;padding:16px 18px;border-radius:8px;border:1.5px solid var(--rule-mid);background:var(--bg-canvas);display:flex;flex-direction:column;gap:4px;cursor:pointer;transition:border-color .12s ease,background .12s ease,box-shadow .12s ease}.proof-choice-btn:hover{background:var(--bg-elevated);box-shadow:0 2px 8px #1a181614}.proof-choice-btn-primary{border-color:var(--accent);background:var(--accent-soft)}.proof-choice-btn-primary:hover{background:#2a4a7f2e;border-color:var(--accent)}.proof-choice-btn-header{display:flex;align-items:center;gap:8px}.proof-choice-btn-title{font-size:14px;font-weight:600;color:var(--ink-strong)}.proof-choice-btn-subtitle{font-size:12px;color:var(--ink-soft);line-height:1.4}.proof-choice-badge{font-size:10px;font-weight:600;letter-spacing:.04em;text-transform:uppercase;color:var(--ink-mid);background:var(--rule-mid);padding:2px 7px;border-radius:20px}.proof-choice-badge-recommended{color:var(--accent);background:var(--accent-soft)}.proof-choice-footer{display:flex;justify-content:center}.proof-choice-cancel{font-size:13px;color:var(--ink-soft);padding:6px 20px}.proof-choice-cancel:hover{color:var(--ink-strong);background:var(--rule-soft)}.jgex-backdrop{position:fixed;top:0;right:0;bottom:0;left:0;display:none;align-items:center;justify-content:center;background:#1a181659;z-index:100}.jgex-backdrop.is-open{display:flex}.jgex-dialog{width:min(560px,90vw);background:var(--bg-elevated);border:1px solid var(--rule-mid);border-radius:10px;box-shadow:0 12px 40px #1a181638;padding:24px;display:flex;flex-direction:column;gap:14px}.jgex-title{font-family:var(--font-display);font-size:18px;color:var(--ink-strong)}.jgex-input{width:100%;font-family:var(--font-mono);font-size:13px;padding:10px 12px;border:1px solid var(--rule-mid);border-radius:6px;background:var(--bg-canvas);color:var(--ink-strong)}.jgex-input::placeholder{color:var(--ink-faint)}.jgex-input:focus{outline:none;border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-soft)}.jgex-actions{display:flex;justify-content:flex-end;gap:8px}.jgex-btn{padding:8px 16px;border-radius:6px;font-size:13px;transition:background .12s ease,color .12s ease}.jgex-btn-quiet{color:var(--ink-mid)}.jgex-btn-quiet:hover{background:#1a18160a;color:var(--ink-strong)}.jgex-btn-accent{background:var(--accent);color:#fff}.jgex-btn-accent:hover{background:#20396a}.jgex-btn-accent:disabled{opacity:.55;cursor:not-allowed}.jgex-btn-danger{background:#8b2828;color:#fff}.jgex-btn-danger:hover{background:#6e1f1f}.remove-confirm-dialog{width:min(360px,90vw)}.remove-confirm-body{margin:0;font-size:13px;color:var(--ink-mid)}.jgex-error{font-size:12px;color:#8b2828;min-height:0;margin:0}.proof-panel{flex:1;min-height:0;display:flex;flex-direction:column;padding-top:8px}.proof-back-btn{flex-shrink:0;margin-bottom:8px}.proof-panel-content{flex:1;overflow-y:auto;min-height:0;display:flex;flex-direction:column;gap:16px}.proof-status-row{display:flex;align-items:center;gap:8px}@keyframes spin{to{transform:rotate(360deg)}}.proof-spinner{display:inline-block;width:14px;height:14px;border:2px solid var(--accent-soft);border-top-color:var(--accent);border-radius:50%;animation:spin .8s linear infinite;flex-shrink:0}.proof-status-badge{font-size:13px;font-weight:500;color:var(--ink-mid)}.proof-status-badge[data-status=queued],.proof-status-badge[data-status=running]{color:var(--accent)}.proof-status-badge[data-status=succeeded]{color:#1a6b1a}.proof-status-badge[data-status=failed],.proof-status-badge[data-status=timed_out]{color:#8b2828}.proof-section{display:flex;flex-direction:column;gap:6px}.proof-section-title{font-size:10px;font-weight:600;letter-spacing:.1em;text-transform:uppercase;color:var(--ink-soft)}.proof-steps-list{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:4px}.proof-step-item{font-family:var(--font-mono);font-size:11.5px;color:var(--ink-strong);line-height:1.5;word-break:break-word;padding:4px 6px;background:#1a181608;border-radius:4px}.proof-error-msg{margin:0;font-size:12px;color:#8b2828;line-height:1.5}.proof-step-card{display:flex;flex-direction:column;gap:3px;padding:7px 8px;background:#1a181608;border-radius:4px;border-left:2px solid var(--rule-mid)}.proof-step-num{font-family:var(--font-mono);font-size:10px;font-weight:600;color:var(--accent);letter-spacing:.05em;margin-bottom:2px}.proof-step-premise{font-family:var(--font-mono);font-size:11.5px;color:var(--ink-mid);line-height:1.4;word-break:break-word}.proof-step-premise.is-active-substep{background:#c8860a2e;color:#7a5000;border-radius:3px;padding-left:4px;margin-left:-4px}.proof-step-conclusion.is-active-substep{background:#1a7a1a2e;color:#0a4a0a;border-radius:3px;padding-left:4px;margin-left:-4px}.proof-step-rule{font-family:var(--font-sans);font-size:11px;font-style:italic;color:var(--ink-soft);line-height:1.4;padding:2px 0;border-top:1px solid var(--rule-soft);border-bottom:1px solid var(--rule-soft);margin:1px 0}.proof-step-rule:before{content:"⟹  ";font-style:normal;font-size:10px;color:var(--ink-faint)}.proof-step-conclusion{font-family:var(--font-mono);font-size:11.5px;font-weight:500;color:var(--ink-strong);line-height:1.4;word-break:break-word}.proof-stderr{font-family:var(--font-mono);font-size:10.5px;color:#8b2828;background:#8b28280a;border:1px solid rgba(139,40,40,.12);border-radius:4px;padding:8px;margin:0;white-space:pre-wrap;word-break:break-word;overflow-y:auto;max-height:200px}.proof-step-nav{display:flex;align-items:center;gap:8px;margin-bottom:6px}.proof-step-nav-btn{font-size:12px;padding:3px 8px;border:1px solid var(--rule-mid);border-radius:4px;background:transparent;cursor:pointer;color:var(--ink-mid);flex-shrink:0}.proof-step-nav-btn:hover:not(:disabled){background:#1a18160d}.proof-step-nav-btn:disabled{opacity:.35;cursor:default}.proof-step-counter{flex:1;text-align:center;font-size:11px;color:var(--ink-soft)}.proof-step-card.is-active{border-left-color:#2a4a7f;background:#2a4a7f0f}.proof-step-card.is-active.is-substep-premise{border-left-color:#c8860a;background:#c8860a0f}.proof-step-card.is-active.is-substep-conclusion{border-left-color:#1a7a1a;background:#1a7a1a0f}.proof-substep-nav{display:flex;align-items:center;gap:6px;margin-top:8px;padding-top:6px;border-top:1px solid var(--rule-soft)}.proof-substep-nav-btn{font-size:11px;padding:2px 6px;border:1px solid var(--rule-mid);border-radius:4px;background:transparent;cursor:pointer;color:var(--ink-mid);flex-shrink:0}.proof-substep-nav-btn:hover:not(:disabled){background:#1a18160d;color:var(--ink-strong)}.proof-substep-nav-btn:disabled{opacity:.35;cursor:default}.proof-substep-counter{flex:1;text-align:center;font-size:10px;color:var(--ink-soft);font-family:var(--font-mono);letter-spacing:.02em}.goal-chooser-section{display:flex;flex-direction:column;gap:8px}.goal-pred-grid{display:grid;grid-template-columns:1fr 1fr;gap:4px}.goal-pred-btn{display:flex;flex-direction:column;align-items:center;gap:3px;padding:8px 4px;border-radius:6px;border:1.5px solid var(--rule-mid);background:var(--bg-canvas);cursor:pointer;transition:border-color .12s ease,background .12s ease}.goal-pred-btn:hover{background:var(--bg-elevated);border-color:var(--ink-soft)}.goal-pred-btn.is-active{border-color:var(--accent);background:var(--accent-soft)}.goal-pred-icon{font-size:17px;line-height:1;color:var(--ink-strong)}.goal-pred-label{font-size:10.5px;color:var(--ink-mid);text-align:center;line-height:1.2}.goal-pred-btn.is-active .goal-pred-label{color:var(--accent)}.goal-slot-section{display:flex;flex-direction:column;gap:6px}.goal-slot-list{display:flex;flex-direction:column;gap:2px}.goal-slot-group-label{font-size:10px;font-weight:700;text-transform:uppercase;letter-spacing:.08em;color:var(--ink-soft);padding:8px 0 3px}.goal-slot-group{display:flex;flex-direction:column;gap:2px;padding-left:4px;border-left:2px solid var(--rule-soft);margin-bottom:2px}.goal-slot-row{display:flex;align-items:center;gap:6px;padding:4px 8px;border-radius:5px;background:#1a181608;border:1px solid transparent;cursor:pointer;transition:background .1s ease,border-color .1s ease}.goal-slot-row.is-filled{cursor:text}.goal-slot-row:hover:not(.is-next){border-color:var(--rule-mid);background:var(--bg-elevated)}.goal-slot-row.is-next{border-color:var(--accent);background:var(--accent-soft);cursor:default}.goal-slot-row.is-filled{background:#1a6b1a0f;border-color:#1a6b1a38}.goal-slot-label{font-family:var(--font-display);font-style:italic;font-size:14px;color:var(--ink-strong);width:16px;flex-shrink:0;text-align:center}.goal-slot-value{flex:1;font-family:var(--font-mono);font-size:11.5px;font-weight:500;color:var(--ink-strong)}.goal-slot-placeholder{flex:1;font-size:11.5px;color:var(--ink-faint);font-style:italic}.goal-slot-placeholder.is-next{color:var(--accent)}.goal-slot-clear{font-size:13px;line-height:1;color:var(--ink-soft);padding:0 3px;border-radius:3px}.goal-slot-clear:hover{color:#8b2828;background:#8b28280f}.goal-hint{margin:0;font-size:11.5px;color:var(--accent);font-style:italic}.goal-hint-warn{color:var(--ink-soft);font-style:normal}.goal-var-controls{display:flex;gap:6px;padding:6px 0 2px}.goal-var-btn{font-size:11.5px;padding:4px 10px;border-radius:5px;border:1px solid var(--rule-mid);background:var(--bg-canvas);color:var(--ink-mid);transition:background .1s ease,color .1s ease,border-color .1s ease}.goal-var-btn:hover{background:var(--bg-elevated);color:var(--ink-strong);border-color:var(--accent)}.goal-var-btn-remove:hover{border-color:#8b2828;color:#8b2828;background:#8b28280a}.goal-preview-section{display:flex;flex-direction:column;gap:5px}.goal-preview-code{font-family:var(--font-mono);font-size:10.5px;color:var(--ink-strong);background:#1a18160a;border:1px solid var(--rule-soft);border-radius:4px;padding:7px 8px;margin:0;white-space:pre-wrap;word-break:break-all;max-height:90px;overflow-y:auto}.goal-submit-btn{align-self:flex-end;margin-top:2px}.job-status-banner{display:none;position:fixed;top:24px;right:24px;z-index:200;align-items:center;gap:10px;padding:14px 20px;border-radius:8px;font-size:15px;box-shadow:0 4px 16px #1a181629;max-width:480px}.job-status-banner.is-visible{display:flex}.job-status-banner[data-variant=success]{background:#eaf3ea;color:#1a4a1a;border:1px solid rgba(26,74,26,.18)}.job-status-banner[data-variant=error]{background:#f5eaea;color:#6b1a1a;border:1px solid rgba(107,26,26,.18)}.job-status-banner[data-variant=info]{background:#eaf0fa;color:#1a3a5c;border:1px solid rgba(26,58,92,.18)}.job-banner-text{flex:1}.job-banner-close{flex:0 0 auto;font-size:16px;line-height:1;opacity:.55;padding:0 2px}.job-banner-close:hover{opacity:1}.theorem-list-header{display:flex;align-items:center;justify-content:space-between;gap:8px;margin-bottom:8px}.theorem-create-btn{padding:5px 10px;font-size:12px;white-space:nowrap}.theorem-saved-list{display:flex;flex-direction:column;gap:8px}.theorem-saved-card{border:1px solid var(--rule-mid);border-radius:8px;padding:10px 12px;background:var(--bg-canvas);display:flex;flex-direction:column;gap:6px}.theorem-card-header{display:flex;align-items:center;justify-content:space-between;gap:8px}.theorem-card-name{font-size:13px;font-weight:600;color:var(--ink-strong);word-break:break-all}.theorem-card-actions{display:flex;gap:4px;flex-shrink:0}.theorem-card-action-btn{font-size:11.5px;padding:3px 8px;border:1px solid var(--rule-mid);border-radius:4px;color:var(--ink-mid);background:var(--bg-elevated);transition:background .1s ease,color .1s ease,border-color .1s ease}.theorem-card-action-btn:hover{background:#1a18160f;color:var(--ink-strong)}.theorem-card-delete-btn:hover{color:#8b2828;border-color:#8b282866;background:#8b28280d}.theorem-card-desc{margin:0;font-size:11.5px;color:var(--ink-soft);line-height:1.4}.theorem-card-predicates{display:flex;flex-direction:column;gap:3px}.theorem-card-pred-label{font-size:10px;font-weight:700;text-transform:uppercase;letter-spacing:.07em;color:var(--ink-soft)}.theorem-card-pred{font-family:var(--font-mono);font-size:10.5px;color:var(--ink-strong);background:#1a18160a;border-radius:3px;padding:2px 5px;word-break:break-all}.theorem-field{display:flex;flex-direction:column;gap:4px}.theorem-field-label{font-size:11px;font-weight:600;color:var(--ink-soft);letter-spacing:.04em}.theorem-field-input{width:100%;font-family:var(--font-mono);font-size:12.5px;padding:6px 9px;border:1px solid var(--rule-mid);border-radius:5px;background:var(--bg-canvas);color:var(--ink-strong);box-sizing:border-box}.theorem-field-input::placeholder{color:var(--ink-faint)}.theorem-field-input:focus{outline:none;border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-soft)}.theorem-field-textarea{font-family:var(--font-sans);resize:vertical;min-height:54px;line-height:1.4}.theorem-pred-section{display:flex;flex-direction:column;gap:6px;padding:10px;background:#1a181605;border:1px solid var(--rule-soft);border-radius:6px}.theorem-pred-list{display:flex;flex-direction:column;gap:6px}.theorem-pred-picker{display:flex;flex-direction:column;gap:8px;margin-top:4px}.theorem-picker-cancel{align-self:flex-start;font-size:12px;padding:4px 10px}.theorem-add-pred-btn{align-self:flex-start;margin-top:2px}.theorem-editable-pred{border:1px solid var(--rule-mid);border-radius:6px;padding:8px 10px;background:var(--bg-elevated);display:flex;flex-direction:column;gap:6px}.theorem-editable-pred-header{display:flex;align-items:center;justify-content:space-between;gap:6px}.theorem-editable-pred-name{font-size:12px;font-weight:500;color:var(--ink-mid);flex:1;min-width:0;white-space:normal;word-break:break-word}.theorem-pred-delete-btn{flex-shrink:0;font-size:14px;line-height:1;color:var(--ink-soft);padding:0 4px;border-radius:3px}.theorem-pred-delete-btn:hover{color:#8b2828;background:#8b28280f}.theorem-args{display:flex;flex-direction:column;gap:2px}.theorem-arg-row{display:flex;align-items:center;gap:6px;padding:3px 0}.theorem-arg-label{font-family:var(--font-display);font-style:italic;font-size:13px;color:var(--ink-strong);width:18px;flex-shrink:0;text-align:center}.theorem-arg-input{flex:1;font-family:var(--font-mono);font-size:12px;padding:3px 7px;border:1px solid var(--rule-mid);border-radius:4px;background:var(--bg-canvas);color:var(--ink-strong);min-width:0}.theorem-arg-input:focus{outline:none;border-color:var(--accent);box-shadow:0 0 0 2px var(--accent-soft)}.theorem-arg-input-fraction{font-family:var(--font-mono);color:var(--accent);max-width:80px}.theorem-arg-unit{font-family:var(--font-mono);font-size:11px;color:var(--ink-soft);white-space:nowrap;flex-shrink:0}.theorem-builder-footer{flex-shrink:0;display:flex;flex-direction:column;gap:8px;padding:10px 0 4px;border-top:1px solid var(--rule-mid)}.theorem-error-box{display:flex;align-items:flex-start;gap:7px;padding:8px 10px;background:#8b282812;border:1px solid rgba(139,40,40,.22);border-radius:6px;font-size:12px;color:#7a1f1f;line-height:1.45}.theorem-error-icon{flex-shrink:0;font-size:13px;line-height:1.45}.theorem-save-btn{align-self:flex-end}.slot-hint{position:absolute;bottom:20px;left:50%;transform:translate(-50%);background:#1a1816b8;color:#faf8f4;padding:6px 16px;border-radius:999px;font-size:13px;font-family:var(--font-sans);pointer-events:none;z-index:6;white-space:nowrap;-webkit-user-select:none;user-select:none}.slot-error{position:absolute;bottom:56px;left:50%;transform:translate(-50%);background:#c82828e0;color:#fff;padding:5px 14px;border-radius:999px;font-size:12.5px;font-family:var(--font-sans);pointer-events:none;z-index:6;white-space:nowrap;-webkit-user-select:none;user-select:none}