@font-face { font-family: "DejaVu Sans"; font-weight: normal; font-style: normal; src: url("DejaVuSans.woff") format("woff"); }
@font-face { font-family: "DejaVu Sans"; font-weight: bold; font-style: normal; src: url("DejaVuSans-Bold.woff") format("woff"); }
@font-face { font-family: "DejaVu Sans"; font-weight: bold; font-style: italic; src: url("DejaVuSans-BoldOblique.woff") format("woff"); }
@font-face { font-family: "DejaVu Sans"; font-weight: normal; font-style: italic; src: url("DejaVuSans-Oblique.woff") format("woff"); }
@font-face { font-family: "DejaVu Sans Mono"; font-weight: normal; font-style: normal; src: url("DejaVuSansMono.woff") format("woff"); }
@font-face { font-family: "DejaVu Sans Mono"; font-weight: bold; font-style: normal; src: url("DejaVuSansMono-Bold.woff") format("woff"); }
@font-face { font-family: "DejaVu Sans Mono"; font-weight: bold; font-style: italic; src: url("DejaVuSansMono-BoldOblique.woff") format("woff"); }
@font-face { font-family: "DejaVu Sans Mono"; font-weight: normal; font-style: italic; src: url("DejaVuSansMono-Oblique.woff") format("woff"); }
@font-face { font-family: "DejaVu Serif"; font-weight: normal; font-style: normal; src: url("DejaVuSerif.woff") format("woff"); }
@font-face { font-family: "DejaVu Serif"; font-weight: bold; font-style: normal; src: url("DejaVuSerif-Bold.woff") format("woff"); }
@font-face { font-family: "DejaVu Serif"; font-weight: bold; font-style: italic; src: url("DejaVuSerif-BoldItalic.woff") format("woff"); }
@font-face { font-family: "DejaVu Serif"; font-weight: normal; font-style: italic; src: url("DejaVuSerif-Italic.woff") format("woff"); }
@font-face { font-family: "DejaVu Serif Condensed"; font-weight: normal; font-style: normal; src: url("DejaVuSerifCondensed.woff") format("woff"); }
@font-face { font-family: "DejaVu Serif Condensed"; font-weight: bold; font-style: normal; src: url("DejaVuSerifCondensed-Bold.woff") format("woff"); }
@font-face { font-family: "DejaVu Serif Condensed"; font-weight: bold; font-style: italic; src: url("DejaVuSerifCondensed-BoldItalic.woff") format("woff"); }
@font-face { font-family: "DejaVu Serif Condensed"; font-weight: normal; font-style: italic; src: url("DejaVuSerifCondensed-Italic.woff") format("woff"); }