/* FOOM pixel fonts — generated by tools/build_font.py from src/art/font.js. Do not edit by hand.
 *
 * FoomPixel       7px caps / 6px x-height / 2px descenders, em = 8px -> crisp at 8 / 16 / 24 / 32 px
 * FoomPixelSmall  3x5 pixel font, em = 6px  -> crisp at font-size 6 / 12 / 18 / 24 px
 * Other sizes will blur. Use line-height in whole pixels too.
 */
@font-face {
  font-family: 'FoomPixel';
  src: url('FoomPixel.woff2') format('woff2'), url('FoomPixel.woff') format('woff'), url('FoomPixel.ttf') format('truetype');
  font-weight: 400; font-style: normal; font-display: block;
}
@font-face {
  font-family: 'FoomPixelSmall';
  src: url('FoomPixelSmall.woff2') format('woff2'), url('FoomPixelSmall.woff') format('woff'), url('FoomPixelSmall.ttf') format('truetype');
  font-weight: 400; font-style: normal; font-display: block;
}
/* optional helpers */
.fp, .fp-small { -webkit-font-smoothing: none; -moz-osx-font-smoothing: grayscale; font-smooth: never; text-rendering: optimizeSpeed; font-synthesis: none; }
.fp { font-family: 'FoomPixel', monospace; font-size: 16px; line-height: 22px; }
.fp-small { font-family: 'FoomPixelSmall', monospace; font-size: 12px; line-height: 14px; }