/* Caratteri ospitati sul sito (niente Google Fonts esterni). */
@font-face {
	font-family: "Source Sans 3";
	src: url("../fonts/source-sans-3.woff2") format("woff2");
	font-weight: 200 900;
	font-display: swap;
}

@font-face {
	font-family: "IBM Plex Mono";
	src: url("../fonts/ibm-plex-mono-500.woff2") format("woff2");
	font-weight: 500;
	font-display: swap;
}

@font-face {
	font-family: "IBM Plex Mono";
	src: url("../fonts/ibm-plex-mono-700.woff2") format("woff2");
	font-weight: 700;
	font-display: swap;
}