@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');
}