Compare commits

..

No commits in common. "0f82b582657a828fbcf32a170b5f939fc9fdcc77" and "565d5c906be47129b104c603a43d3c7cb9507d6e" have entirely different histories.

2 changed files with 2 additions and 5 deletions

View file

@ -347,9 +347,7 @@ export default function HistoryView({
border: `1px solid ${tokens.line2}`,
borderRadius: "3px",
padding: "1px 5px",
// accentDeep (not accent): 8px accent on badgeTint ~2.8:1 < AA;
// accentDeep keeps the blue brand cue at ≈5:1.
color: tokens.accentDeep,
color: tokens.accent,
}}
>
{r.source ?? "—"}

View file

@ -96,8 +96,7 @@ const badge: CSSProperties = {
border: `1px solid ${tokens.line2}`,
borderRadius: 3,
padding: "2px 8px",
// body2 (not muted): 9px muted on badgeTint was ~3.3:1 < AA; body2 ≈ 6.3:1.
color: tokens.body2,
color: tokens.muted,
};
const chip: CSSProperties = {