/* DejaVu SansMono http://dejavu-fonts.org */

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

@font-face 
{ font-family: 'DejaVu-SansMono';
  src: url('dejavusansmono-bold.eot');
  src: url('dejavusansmono-bold.eot?#iefix') format('embedded-opentype'),
  url('dejavusansmono-bold.woff') format('woff'),
  url('dejavusansmono-bold.ttf') format('truetype');
  font-weight: bold;
  font-style: normal; }