diff --git a/.github/diy/patches/vantage.patch b/.github/diy/patches/vantage.patch index dde598392..0645c764e 100644 --- a/.github/diy/patches/vantage.patch +++ b/.github/diy/patches/vantage.patch @@ -8,7 +8,7 @@ + --mono: ui-monospace, "JetBrains Mono", "SFMono-Regular", "Cascadia Mono", system-ui, Menlo, Consolas, monospace; - --fs-micro: 10.5px; -+ --fs-micro: 11px; ++ --fs-micro: 11.5px; --fs-sm: 12px; --fs-base: 13px; --fs-md: 14px;