@font-face {
	font-family: 'JetBrainsMono';
	src: url("/fonts/JetBrainsMono-SemiBold.woff2") format("woff2"), url("/fonts/JetBrainsMono-SemiBold.woff") format("woff");
	font-weight: 600;
	font-style: normal;
	font-display: swap;
}

@font-face {
	font-family: 'JetBrainsMono';
	src: url("/fonts/JetBrainsMono-Light.woff2") format("woff2"), url("/fonts/JetBrainsMono-Light.woff") format("woff");
	font-weight: 300;
	font-style: normal;
	font-display: swap;
}

@font-face {
	font-family: 'JetBrainsMono';
	src: url("/fonts/JetBrainsMono-Medium.woff2") format("woff2"), url("/fonts/JetBrainsMono-Medium.woff") format("woff");
	font-weight: 500;
	font-style: normal;
	font-display: swap;
}

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

@font-face {
	font-family: 'JetBrainsMono';
	src: url("/fonts/JetBrainsMono-Bold.woff2") format("woff2"), url("/fonts/JetBrainsMono-Bold.woff") format("woff");
	font-weight: bold;
	font-style: normal;
	font-display: swap;
}

@font-face {
	font-family: 'JetBrainsMono';
	src: url("/fonts/JetBrainsMono-ExtraBold.woff2") format("woff2"), url("/fonts/JetBrainsMono-ExtraBold.woff") format("woff");
	font-weight: 800;
	font-style: normal;
	font-display: swap;
}