Redesign: Tweak button sizes (#40308)

This commit is contained in:
diondiondion
2026-08-28 12:24:55 +00:00
committed by GitHub
parent e6f117d93a
commit fd70a5a926
8 changed files with 17 additions and 22 deletions

View File

@@ -16,19 +16,19 @@
font-display: swap;
}
// SemiBold (native 600, mapped to 700 so that `font-weight: bold` uses it)
// Medium (native 500, mapped to 700 so that `font-weight: bold` uses it)
@font-face {
font-family: Inter;
src: url('../../fonts/inter/inter-semibold.woff2') format('woff2');
src: url('../../fonts/inter/inter-medium.woff2') format('woff2');
font-weight: 700;
font-style: normal;
font-display: swap;
}
// SemiBold Italic (native 600, mapped to 700 so that `font-weight: bold` uses it)
// Medium Italic (native 500, mapped to 700 so that `font-weight: bold` uses it)
@font-face {
font-family: Inter;
src: url('../../fonts/inter/inter-semibold-italic.woff2') format('woff2');
src: url('../../fonts/inter/inter-medium-italic.woff2') format('woff2');
font-weight: 700;
font-style: italic;
font-display: swap;