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

@font-face {
  font-family: 'BaseMono';
  src: url('/fonts/BaseMonoNarrowReg.eot');
  src: url('/fonts/BaseMonoNarrowReg.eot?#iefix') format('embedded-opentype'),
    url('/fonts/BaseMonoNarrowReg.woff2') format('woff2'),
    url('/fonts/BaseMonoNarrowReg.woff') format('woff'),
    url('/fonts/BaseMonoNarrowReg.ttf') format('truetype'),
    url('/fonts/BaseMonoNarrowReg.svg#BaseMonoNarrowReg') format('svg');
  font-weight: 500;
  font-style: normal;
}