index.css

@font-face {
  font-family: "DejaVu Sans Mono";
  font-style: normal;
  font-weight: normal;
  src: local(DejaVu Sans Mono), local(DejaVuSansMono),
    url(DejaVuSansMono.woff) format("woff");
}
@font-face {
  font-family: "DejaVu Sans Mono";
  font-style: normal;
  font-weight: bold;
  src: local(DejaVu Sans Mono Bold), local(DejaVuSansMono-Bold),
    url(DejaVuSansMono-Bold.woff) format("woff");
}
@font-face {
  font-family: "DejaVu Sans Mono";
  font-style: oblique;
  font-weight: bold;
  src: local(DejaVu Sans Mono Bold Oblique), local(DejaVuSansMono-BoldOblique),
    url(DejaVuSansMono-BoldOblique.woff) format("woff");
}
@font-face {
  font-family: "DejaVu Sans Mono";
  font-style: oblique;
  font-weight: normal;
  src: local(DejaVu Sans Mono Oblique), local(DejaVuSansMono-Oblique),
    url(DejaVuSansMono-Oblique.woff) format("woff");
}