/* Same-origin font first: visitors do not need a locally installed copy or a CDN.
   The fingerprinted name also matches the preload on pages without native
   transitions. Transition pages intentionally use CSS font loading only. */
@font-face {
	font-family: "GothamPro";
	src: url("../fonts/GothamPro-Regular.e02da845387e.ttf") format("truetype"),
		local("GothamPro"), local("Gotham Pro");
	font-style: normal;
	font-weight: 400;
	font-display: swap;
}

@font-face {
	font-family: "JetBrainsMono";
	src: url("../fonts/JetBrainsMono-Regular.woff2") format("woff2");
	font-style: normal;
	font-weight: 400;
	font-display: swap;
}

html {
	/* Keep Regular glyphs; allow italic content without synthesizing bold. */
	font-synthesis: style;
}