/* The app's 5×7 pixel font (PixelFont in ios/App/Sources/Pixel.swift), built
   by tools/pixelfont/build.py. Crisp at multiples of 8px. */
@font-face {
  font-family: "Maimbrain Pixel";
  src: url("/assets/maimbrain-pixel-71717370.woff2") format("woff2");
  font-display: swap;
}