@font-face
{
    font-family: 'DejaVuSansMono-Oblique';
  src: url('DejaVuSansMono-Oblique.eot');
  src: url('DejaVuSansMono-Oblique.eot?#') format('embedded-opentype'),
      url('DejaVuSansMono-Oblique.woff') format('woff'),
      url('DejaVuSansMono-Oblique.ttf') format('truetype');
}