/* 
Font loader for Inter (custom-written).

Since this website is public domain,
the actual font files CANNOT be hosted
within the repository, so instead they
are downloaded via the extract_fonts.py
script.
*/

@font-face {
	font-family: "Inter var";
	font-display: "swap";
	/* We use only the range from Inter Regular to Bold */
	font-weight: 300 700;
	font-style: "italic";
	src: url("InterVariable-Italic.woff2") format('woff2');
}

@font-face {
	font-family: "Inter var";
	font-display: "swap";
	/* We use only the range from Inter Regular to Bold */
	font-weight: 300 700;
	font-style: "normal";
	src: url("InterVariable.woff2") format('woff2');
}