/* Self-hosted DM Sans + Space Mono - downloaded once from Google Fonts so
   the app has no runtime dependency on fonts.googleapis.com/fonts.gstatic.com.
   DM Sans ships as a single variable-font file covering weights 400-700
   (this is exactly what Google's own stylesheet serves to modern browsers -
   these @font-face blocks just point it at a local file instead). */
@font-face {
  font-family: 'DM Sans';
  font-style: normal;
  font-weight: 400 700;
  font-display: swap;
  src: url('../fonts/dm-sans-variable.woff2') format('woff2');
}
@font-face {
  font-family: 'Space Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('../fonts/space-mono-400.woff2') format('woff2');
}
@font-face {
  font-family: 'Space Mono';
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url('../fonts/space-mono-700.woff2') format('woff2');
}