@font-face{font-family:'Martian Mono';font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/MartianMono-400-normal.woff2) format('woff2')}
@font-face{font-family:'Martian Mono';font-style:normal;font-weight:700;font-display:swap;src:url(/fonts/MartianMono-700-normal.woff2) format('woff2')}
/* Box-drawing glyphs only. Martian Mono has none; this face keeps frames on one advance. */
@font-face {
  font-family: 'Keres Box';
  font-style: normal;
  font-weight: 100 900;
  font-display: block;
  src: url('/fonts/KeresBox.woff2') format('woff2');
  unicode-range: U+2500-257F, U+25B6, U+25BA;
}