@font-face {
  font-family: "terminal_grotesque";
  src: url("terminal-grotesque-webfont.eot");
  src: url("terminal-grotesque-webfont.eot?#iefix") format("embedded-opentype"),
    url("terminal-grotesque-webfont.woff2") format("woff2"), url("terminal-grotesque-webfont.woff") format("woff"),
    url("terminal-grotesque-webfont.ttf") format("truetype");
  font-weight: normal;
  font-style: normal;
}

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