/* UX round 2: direct manipulation; identity and mathematical typography unchanged. */
.ux-purpose{margin:0 0 12px;color:var(--muted);font-size:17px;line-height:1.4;max-width:76ch}
.ux-guide{display:flex;align-items:center;justify-content:space-between;gap:10px;margin:0 0 10px;min-height:48px}
.ux-guide p{font-size:17px;line-height:1.4}.ux-guide small{color:var(--wine);margin-right:8px;font-size:13px}
.ux-guide-actions{display:flex;gap:6px;flex:none}.ux-guide button{font-size:14px;padding:7px 10px}
.ux-size{display:flex;align-items:center;gap:8px;justify-content:space-between;flex-wrap:wrap;padding:10px 14px;border-bottom:1px solid var(--line)}
.ux-size strong{font-size:18px}.ux-size button{min-width:44px;min-height:44px;font-size:15px}.ux-size .ux-size-label{text-align:center;flex:1}
.ux-size p{flex-basis:100%;font-size:14px;color:var(--muted);margin:0;line-height:1.4}
.ux-actions{padding:7px 12px;border-bottom:1px solid #edf0f1}.ux-actions .mode-group{background:transparent;padding:0;gap:5px}.ux-actions button{flex:1;font-size:15px}
.ux-editor .graph-wrap{overflow:auto;touch-action:auto;height:260px;margin:0 8px}.ux-editor .graph-wrap svg{overflow:hidden;touch-action:auto;max-width:none}
.ux-editor .card-head{padding:9px 15px}.ux-editor .card-head h3{font-size:17px}
.ux-editor .notice{margin:0 12px 12px;min-height:72px;font-size:16px;line-height:1.45}
.ux-editor .legend{padding:5px 10px 9px;font-size:13px;gap:16px}.ux-editor .graph-hint{padding:9px 14px;font-size:14px}
.ux-history{display:flex;align-items:center;justify-content:space-between;padding:0 12px 12px;gap:10px;flex-wrap:wrap}.ux-history .history{align-self:auto}.ux-history p{font-size:13px;color:var(--muted)}
.ux-advanced{margin:16px 0;border:1px solid var(--line);border-radius:8px;padding:12px 15px;background:white}
.ux-advanced>summary{min-height:44px;display:list-item;cursor:pointer;font-size:17px;line-height:1.5;padding:9px 0}
.ux-advanced .toolbar{margin:10px 0 0;border:0;padding:8px 0}.ux-advanced .intro{margin:6px 0 14px}
.ux-choices{padding:12px 14px;margin:0 12px 12px;border:2px solid var(--wine);border-radius:8px;background:#fff8fa}
.ux-choices p{font-size:16px;margin-bottom:9px}.ux-choice-buttons{display:flex;gap:7px;flex-wrap:wrap;max-height:230px;overflow:auto}.ux-choice-buttons button{min-height:44px;font-size:15px}
.ux-choices .ux-choice-cancel{margin-top:9px}.ux-rejected path[data-rejected=true]{stroke:#a34c22;stroke-width:4;stroke-dasharray:5 4}
.ux-ext-feedback{min-height:66px;margin:8px 0 12px;font-size:16px;line-height:1.45}.ux-ext-tools{display:flex;gap:8px;align-items:center;flex-wrap:wrap;margin:8px 0 12px}
.ux-provenance{font-size:15px;line-height:1.4;color:var(--muted)}.ux-provenance strong{color:var(--wine)}
.ux-exploration .metric{background:white}.ux-exploration .metric strong{color:var(--ink)}
.ux-definition{font-size:15px;line-height:1.5;margin:12px 0;color:var(--muted)}
#workspace>.top-controls{margin:12px 0 15px}.ux-editor .selection-card .edge-chip{min-height:44px}
.ux-editor .selection-card .button-row button{font-size:14px}.ux-editor .selection-card .small{font-size:14px}
.ux-ext-graph .ext-graph-wrap{height:265px;overflow:auto;touch-action:auto}.ux-ext-graph svg{max-width:none;overflow:hidden}
.ux-editor .graph-vertex circle,.ux-ext-graph .graph-vertex circle{r:7px}
.ux-editor .graph-vertex .axis-text,.ux-ext-graph .graph-vertex .axis-text{font-size:15px}
@media(max-width:780px){
 .app-header{padding-top:8px;padding-bottom:6px;gap:8px 12px}.header-links{gap:22px}.header-links a{min-height:32px}
 .titles p{font-size:14px}.titles h1{font-size:22px}
 #workspace>.top-controls{margin:7px 0 10px}.tabs button{min-height:50px;padding:6px 4px;font-size:14px;line-height:1.2}.tabs button span{display:none}
 .ux-purpose{font-size:16px;line-height:1.35;margin-bottom:6px}
 .ux-guide{align-items:center;flex-wrap:wrap;gap:5px;min-height:0;margin-bottom:7px}.ux-guide p{font-size:16px;flex:1;min-width:170px}.ux-guide small{font-size:12px}.ux-guide button{font-size:13px;min-height:44px;padding:6px 9px}
 .ux-guide-actions{margin-left:auto}.ux-size{padding:7px 10px;gap:5px}.ux-size button{font-size:14px;padding:7px 8px}.ux-size strong{font-size:17px}.ux-size p{font-size:13px;line-height:1.3}
 .ux-actions{padding:5px 8px}.ux-actions .mode-group{gap:2px}.ux-actions button{font-size:14px;padding:5px 4px}
 .ux-editor .card-head{display:none}.ux-editor .graph-wrap{height:218px;margin:0 4px}.ux-editor .legend{padding:0 7px 7px;gap:10px;font-size:12px}
 .ux-editor .notice{margin:0 8px 8px;padding:8px 10px;min-height:74px;font-size:15px;line-height:1.35}
 .ux-editor .graph-hint{font-size:13px;padding:8px 10px}.ux-history{padding:0 8px 8px}.ux-history .history button{min-height:44px}
 .ux-editor .selection-card{margin-top:2px}.ux-editor .selection-card .eyebrow{display:none}
 .ux-advanced{padding:8px 12px;margin:12px 0}.ux-advanced>summary{font-size:17px}
 .ux-ext-tools button{font-size:14px}.ux-ext-feedback{font-size:15px}.ux-ext-graph .ext-graph-wrap{height:240px}
 .construction-layout{display:flex;flex-direction:column}.construction-side,.matrix-card{width:100%}.construction-side{order:0}.matrix-card{order:1}
}

.ux-ext-graph{margin:12px 0 0;min-width:0}.ux-ext-graph .ext-graph-wrap{margin:0 8px}
.ux-scroll-controls{display:flex;align-items:center;justify-content:space-between;gap:8px;padding:7px 10px;border-top:1px solid var(--line)}
.ux-scroll-controls span{font-size:13px;line-height:1.3;color:var(--muted)}.ux-scroll-controls button{min-height:44px;font-size:14px;padding:6px 8px}
@media(max-width:780px){.ux-ext-graph .card-head{padding:8px 12px;flex-wrap:wrap;gap:2px}.ux-ext-graph .card-head h3{font-size:17px}.ux-ext-graph .card-head span{font-size:12px}.ux-ext-graph .ext-graph-wrap{height:218px}.ux-scroll-controls span{display:none}}

.ux-ext-graph .ext-graph-wrap{padding:0}.ux-ext-legend{font-size:14px;color:var(--muted);padding:6px 12px;line-height:1.4}

/* Reconciled UX: edge alternatives, restoration certificates and transient feedback. */
.ux-edge-state{display:block;color:var(--muted);font-size:12px;line-height:1.3}
.ux-removed-edges,.ux-edge-list{margin:0 12px 12px;font-size:15px}
.ux-removed-edges>p,.ux-edge-list>p{line-height:1.45;margin-bottom:8px}
.ux-edge-buttons{display:flex;flex-wrap:wrap;gap:6px;max-height:220px;overflow:auto;padding:3px}
.ux-edge-buttons button{min-height:44px;min-width:44px;font-size:15px}
.ux-edge-list summary,.ux-restorations summary{cursor:pointer;min-height:44px;line-height:1.5;padding:10px 0}
.ux-edge-list>p{font-size:14px;color:var(--muted)}
.ux-verdict{border-bottom:1px solid var(--line);padding:4px 0 10px;margin-bottom:10px}
.ux-verdict h4{margin:0 0 10px}.ux-verdict dl{margin:0}.ux-verdict dl>div{display:grid;grid-template-columns:minmax(135px,1fr) 2fr;gap:10px;margin:7px 0}
.ux-verdict dt{font-size:15px;font-weight:700}.ux-verdict dd{font-size:15px;line-height:1.4;margin:0}
#ux-blocker-check-status{font-size:15px;line-height:1.5;margin:12px 0}
.ux-restorations{border:1px solid var(--line);border-radius:7px;padding:0 10px;margin:12px 0}
.ux-restoration-list{max-height:420px;overflow:auto;padding:0 4px 5px}.ux-restoration-row{border-top:1px solid var(--line);padding:10px 0}
.ux-restoration-row p{font-size:15px;line-height:1.5;margin-bottom:7px}.ux-restoration-row button{font-size:14px;min-height:44px}
.ux-target-size{border-top:1px solid var(--line);margin-top:5px}.ux-curve-label text{font-family:'Latin Modern Roman',serif}
#ux-inline-restore{min-height:44px;font-size:14px;margin-top:5px}
@media(max-width:420px){.ux-verdict dl>div{grid-template-columns:1fr;gap:2px;margin:10px 0}.ux-removed-edges,.ux-edge-list{margin-left:8px;margin-right:8px}.ux-target-size strong{font-size:16px}}

.ux-editor .graph-vertex .ux-suggested-ring{r:14px;fill:none;stroke:#246c63}.ux-editor .graph-vertex .ux-pending-ring,.ux-ext-graph .graph-vertex .ux-pending-ring{r:15px;fill:none;stroke:#77152c}

.ux-comparison-examples{margin-top:12px}.ux-comparison-examples p{font-size:15px;margin:10px 0}.ux-comparison-examples button{min-height:44px;font-size:15px;margin:4px 6px 4px 0}
