/* Observabilité portail — badges KPI */
.obs-badge--ok { color: var(--ok-fg, #3dd68c); }
.obs-badge--warn { color: var(--warn-fg, #f5a623); }
#obs-kpi-grid { margin: 1rem 0; }
#obs-detail-dl dt { font-weight: 600; margin-top: 0.5rem; }
#obs-detail-dl dd { margin-left: 0; color: var(--muted-fg, #8b98a5); }