Compare commits
No commits in common. "0f82b582657a828fbcf32a170b5f939fc9fdcc77" and "565d5c906be47129b104c603a43d3c7cb9507d6e" have entirely different histories.
0f82b58265
...
565d5c906b
2 changed files with 2 additions and 5 deletions
|
|
@ -347,9 +347,7 @@ export default function HistoryView({
|
||||||
border: `1px solid ${tokens.line2}`,
|
border: `1px solid ${tokens.line2}`,
|
||||||
borderRadius: "3px",
|
borderRadius: "3px",
|
||||||
padding: "1px 5px",
|
padding: "1px 5px",
|
||||||
// accentDeep (not accent): 8px accent on badgeTint ~2.8:1 < AA;
|
color: tokens.accent,
|
||||||
// accentDeep keeps the blue brand cue at ≈5:1.
|
|
||||||
color: tokens.accentDeep,
|
|
||||||
}}
|
}}
|
||||||
>
|
>
|
||||||
{r.source ?? "—"}
|
{r.source ?? "—"}
|
||||||
|
|
|
||||||
|
|
@ -96,8 +96,7 @@ const badge: CSSProperties = {
|
||||||
border: `1px solid ${tokens.line2}`,
|
border: `1px solid ${tokens.line2}`,
|
||||||
borderRadius: 3,
|
borderRadius: 3,
|
||||||
padding: "2px 8px",
|
padding: "2px 8px",
|
||||||
// body2 (not muted): 9px muted on badgeTint was ~3.3:1 < AA; body2 ≈ 6.3:1.
|
color: tokens.muted,
|
||||||
color: tokens.body2,
|
|
||||||
};
|
};
|
||||||
|
|
||||||
const chip: CSSProperties = {
|
const chip: CSSProperties = {
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue