/*! Generated by Font Squirrel (https://www.fontsquirrel.com) on January 6, 2019 */



@font-face {
    font-family: 'triplexitalicboldregular';
    src: url('triplexitalicbold-webfont.woff2') format('woff2'),
         url('triplexitalicbold-webfont.woff') format('woff');
    font-weight: normal;
    font-style: normal;

}




@font-face {
    font-family: 'triplexitalicextraboldregular';
    src: url('triplexitalicextrabold-webfont.woff2') format('woff2'),
         url('triplexitalicextrabold-webfont.woff') format('woff');
    font-weight: normal;
    font-style: normal;

}




@font-face {
    font-family: 'triplexitaliclightregular';
    src: url('triplexitaliclight-webfont.woff2') format('woff2'),
         url('triplexitaliclight-webfont.woff') format('woff');
    font-weight: normal;
    font-style: normal;

}

.space-mono-regular {
  font-family: "Space Mono", monospace;
  font-weight: 400;
  font-style: normal;
}

.space-mono-bold {
  font-family: "Space Mono", monospace;
  font-weight: 700;
  font-style: normal;
}

.space-mono-regular-italic {
  font-family: "Space Mono", monospace;
  font-weight: 400;
  font-style: italic;
}

.space-mono-bold-italic {
  font-family: "Space Mono", monospace;
  font-weight: 700;
  font-style: italic;
}