@font-face {
  font-family: 'DejaVuSans';
  src: url("DejaVuSans.eot");
  src: url("DejaVuSans.eot?#iefix") format("embedded-opentype"), url("DejaVuSans.ttf") format("truetype"), url("DejaVuSans.woff") format("woff"), url("DejaVuSans.svg#bfa8704cf57cd211933e8e11ce933554") format("svg");
  font-style: normal;
  font-weight: normal;
}