@font-face {
	font-family: "DejaVu Serif";
	src: url("/fonts/DejaVuSerif.ttf") format("TrueType");
	font-weight: 400;
	font-style: normal;
	font-stretch: normal;
}
@font-face {
	font-family: "DejaVu Serif";
	src: url("/fonts/DejaVuSerif-Italic.ttf") format("TrueType");
	font-weight: 400;
	font-style: italic;
	font-stretch: normal;
}
@font-face {
	font-family: "DejaVu Serif";
	src: url("/fonts/DejaVuSerif-Bold.ttf") format("TrueType");
	font-weight: 700;
	font-style: normal;
	font-stretch: normal;
}
@font-face {
	font-family: "DejaVu Serif";
	src: url("/fonts/DejaVuSerif-BoldItalic.ttf") format("TrueType");
	font-weight: 700;
	font-style: italic;
	font-stretch: normal;
}
@font-face {
	font-family: "DejaVu Serif Condensed";
	src: url("/fonts/DejaVuSerifCondensed.ttf") format("TrueType");
	font-weight: 400;
	font-style: normal;
	font-stretch: condensed;
}
@font-face {
	font-family: "DejaVu Serif Condensed";
	src: url("/fonts/DejaVuSerifCondensed-Italic.ttf") format("TrueType");
	font-weight: 400;
	font-style: italic;
	font-stretch: condensed;
}
@font-face {
	font-family: "DejaVu Serif Condensed";
	src: url("/fonts/DejaVuSerifCondensed-Bold.ttf") format("TrueType");
	font-weight: 700;
	font-style: normal;
	font-stretch: condensed;
}
@font-face {
	font-family: "DejaVu Serif Condensed";
	src: url("/fonts/DejaVuSerifCondensed-BoldItalic.ttf") format("TrueType");
	font-weight: 700;
	font-style: italic;
	font-stretch: condensed;
}