/* CODER corrections styling.
 * KPI card styling now lives in frontend.css (single source of truth).
 * The only correction-specific rule left is hiding deduped/obsolete widgets,
 * matching the aria-hidden flag set by the dedupe pass in coder-corrections.js. */
.coder-chart-widget[aria-hidden="true"] { display: none !important; }