@font-face {
	font-display: swap;
	font-family: 'BerkeleyMono';
	font-style: normal;
	font-weight: normal;
	src: url('fonts/BerkeleyMono-Regular.woff2') format('woff2'); 
}
@font-face {
	font-display: swap;
	font-family: 'BerkeleyMono';
	font-style: italic;
	font-weight: normal;
	src: url('fonts/BerkeleyMono-Italic.woff2') format('woff2'); 
} 
@font-face {
	font-display: swap;
	font-family: 'BerkeleyMono';
	font-style: normal;
	font-weight: bold;
	src: url('fonts/BerkeleyMono-Bold.woff2') format('woff2'); 
}
@font-face {
	font-display: swap;
	font-family: 'BerkeleyMono';
	font-style: italic;
	font-weight: bold;
	src: url('fonts/BerkeleyMono-BoldItalic.woff2') format('woff2'); 
} 
@font-face {
	font-display: swap;
	font-family: 'Pragmata';
	font-style: normal;
	font-weight: bold;
	src: url('fonts/PragmataProLiga-Bold.woff2') format('woff2'); 
}