/**
 * Inter — body family (`--font-body` in settings.css).
 *
 * The shipped files are subsets. Full builds live in `src/`; `subset-fonts.py`
 * beside them regenerates these from those, and `ranges.txt` declares the
 * coverage. Run it after adding a language or a symbol the site did not use.
 *
 * Each full cut carries 2 857 characters — Greek, Cyrillic, combining marks,
 * vulgar fractions, Roman numerals. This site runs in Czech, English, Polish,
 * Slovak and Italian, all Latin. Subset 2026-08-18:
 *
 *   Regular     105.9 kB -> 30.6 kB  (-71 %)
 *   Medium      108.8 kB -> 31.4 kB  (-71 %)
 *   SemiBold    109.0 kB -> 31.4 kB  (-71 %)
 *   Bold        108.4 kB -> 31.2 kB  (-71 %)
 *   Italic      111.9 kB -> 33.1 kB  (-70 %)
 *   BoldItalic  115.6 kB -> 34.0 kB  (-71 %)
 *   Light       107.4 kB -> 31.0 kB  (-71 %)
 *
 * The homepage downloads four of these cuts at VeryHigh and High priority, so
 * it loses 340 kB from the critical path. Verified against the live text of all
 * six language versions: 150 distinct characters, none lost. Emoji are absent
 * from the subset and from the full build alike — Inter never drew them; the
 * system font does.
 *
 * No `unicode-range` here on purpose. It lets a browser skip a file whose range
 * a page never uses; every cut now covers the same Latin range and every page
 * is Latin, so there is nothing to skip. It would only pay if Inter were split
 * into separate latin and latin-ext files, which is a separate, measurable
 * question and not yet answered.
 */
@font-face {
	font-display: swap;
	font-family: 'Inter';
	font-style: normal;
	font-weight: 300;
	src: url('Inter-Light.woff2') format('woff2');
}
@font-face {
	font-display: swap;
	font-family: 'Inter';
	font-style: normal;
	font-weight: 400;
	src: url('Inter-Regular.woff2') format('woff2');
}
@font-face {
	font-display: swap;
	font-family: 'Inter';
	font-style: italic;
	font-weight: 400;
	src: url('Inter-Italic.woff2') format('woff2');
}
@font-face {
	font-display: swap;
	font-family: 'Inter';
	font-style: normal;
	font-weight: 500;
	src: url('Inter-Medium.woff2') format('woff2');
}
@font-face {
	font-display: swap;
	font-family: 'Inter';
	font-style: normal;
	font-weight: 600;
	src: url('Inter-SemiBold.woff2') format('woff2');
}
@font-face {
	font-display: swap;
	font-family: 'Inter';
	font-style: normal;
	font-weight: 700;
	src: url('Inter-Bold.woff2') format('woff2');
}
@font-face {
	font-display: swap;
	font-family: 'Inter';
	font-style: italic;
	font-weight: 700;
	src: url('Inter-BoldItalic.woff2') format('woff2');
}