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

/* Override the default font family for NovaDB */
body {
	font-family: "HankenGrotesk", system-ui, sans-serif;
}