/* Mona Sans (GitHub, OFL) for text and display, Martian Mono (Evil Martians, OFL) for labels and buttons.
   One variable file each, latin subset from Fontsource: Mona carries weight 200–900 and width 75–125%,
   Martian weight 100–800 and width 75–112.5%. Licences sit next to the files. */
@font-face {
  font-family: 'Mona Sans';
  font-style: normal;
  font-weight: 200 900;
  font-stretch: 75% 125%;
  font-display: swap;
  src: url(/fonts/mona-sans.woff2) format('woff2-variations'), url(/fonts/mona-sans.woff2) format('woff2');
}
@font-face {
  font-family: 'Martian Mono';
  font-style: normal;
  font-weight: 100 800;
  font-stretch: 87.5%;   /* a single width: every label renders on the condensed cut (the wdth axis is clamped to this) */
  font-display: swap;
  src: url(/fonts/martian-mono.woff2) format('woff2-variations'), url(/fonts/martian-mono.woff2) format('woff2');
}