@font-face
{
    font-family: 'DejaVuSansMono';
  src: url('DejaVuSansMono.eot');
  src: url('DejaVuSansMono.eot?#') format('embedded-opentype'),
      url('DejaVuSansMono.woff') format('woff'),
      url('DejaVuSansMono.ttf') format('truetype');
}
@font-face
{
    font-family: 'DejaVuSansMono-Bold';
  src: url('DejaVuSansMono-Bold.eot');
  src: url('DejaVuSansMono-Bold.eot?#') format('embedded-opentype'),
      url('DejaVuSansMono-Bold.woff') format('woff'),
      url('DejaVuSansMono-Bold.ttf') format('truetype');
}
@font-face
{
    font-family: 'DejaVuSansMono-BoldOblique';
  src: url('DejaVuSansMono-BoldOblique.eot');
  src: url('DejaVuSansMono-BoldOblique.eot?#') format('embedded-opentype'),
      url('DejaVuSansMono-BoldOblique.woff') format('woff'),
      url('DejaVuSansMono-BoldOblique.ttf') format('truetype');
}
@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');
}