@font-face {
  src: url(fonts/DejaVu-Serif.ttf);
  font-family: "DejaVu Serif";
  }
@font-face {
  src: url(fonts/DejaVu-Serif-Italic.ttf);
  font-family: "DejaVu Serif";
  font-style: italic;
  }
@font-face {
  src: url(fonts/DejaVu-Serif-Bold.ttf);
  font-family: "DejaVu Serif";
  font-weight: bold;
  }