/* Coverage & traceability page */
.coverage-state {
  display: inline-block;
  padding: 0.1rem 0.5rem;
  border: 1px solid var(--strong-border);
  font-size: 0.8rem;
  font-weight: 700;
}

.coverage-state--complete {
  background: var(--accent-soft);
  color: var(--accent);
}

.coverage-state--partial,
.coverage-state--missing,
.coverage-state--unresolved {
  background: var(--attention-soft);
  color: var(--attention);
}

.coverage-state--non-substantive {
  background: var(--surface-muted);
  color: var(--muted);
}