@font-face {
	font-family: "DejaVu Sans Mono";
	font-style: normal;
	font-weight: normal;
	src: url('/public/Polices/DejaVuSansMono.ttf');
}
@font-face {
	font-family: "DejaVu Sans Mono";
	font-style: normal;
	font-weight: bold;
	src: url('/public/Polices/DejaVuSansMono-Bold.ttf');
}
@font-face {
	font-family: "DejaVu Sans Mono";
	font-style: italic;
	font-weight: normal;
	src: url('/public/Polices/DejaVuSansMono-Oblique.ttf');
}
@font-face {
	font-family: "DejaVu Sans Mono";
	font-style: italic;
	font-weight: bold;
	src: url('/public/Polices/DejaVuSansMono-BoldOblique.ttf');
}