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