@font-face {
  src: url(../fonts/DejaVu-Sans-Mono.ttf);
  font-family: "DejaVu Sans Mono";
  }
@font-face {
  src: url(../fonts/Liberation-Sans-Narrow.ttf);
  font-stretch: condensed;
  font-family: "Liberation Sans Narrow";
  }
@font-face {
  src: url(../fonts/Liberation-Sans-Narrow-Bold.ttf);
  font-stretch: condensed;
  font-weight: bold;
  font-family: "Liberation Sans Narrow";
  }