/* Keep layout stable, but never present old numbers as a new selection. */
#dashboard-main {position:relative}
#selection-progress {position:sticky;top:8px;z-index:100;background:#edf5fa;border:1px solid #cadfea;border-radius:8px;padding:8px 12px;font-size:.82rem;color:#17324d;box-shadow:0 2px 8px #17324d12}
#selection-progress[hidden] {display:none}
#selection-progress .btn {margin-left:10px;font-size:.78rem;padding:4px 8px}
#dashboard-main.selection-pending > :not(#selection-progress),
#dashboard-main.selection-failed > :not(#selection-progress) {visibility:hidden;pointer-events:none}