/* Self-hosted fonts (latin subsets), vendored from the labs shared tree when
   this app moved to its own origin. Only the two families the page actually
   asks for are here: 'Share Tech Mono' is the terminal body face and
   'Space Grotesk' sets the headings. The labs copy carries four more faces
   nothing in this app references — do not copy them back in. */
@font-face {
  font-family: 'Share Tech Mono';
  font-style: normal; font-weight: 400; font-display: swap;
  src: url('./share-tech-mono/share-tech-mono-latin-400-normal.woff2') format('woff2');
}
@font-face {
  font-family: 'Space Grotesk';
  font-style: normal; font-weight: 400; font-display: swap;
  src: url('./space-grotesk/space-grotesk-latin-400-normal.woff2') format('woff2');
}
@font-face {
  font-family: 'Space Grotesk';
  font-style: normal; font-weight: 500; font-display: swap;
  src: url('./space-grotesk/space-grotesk-latin-500-normal.woff2') format('woff2');
}
@font-face {
  font-family: 'Space Grotesk';
  font-style: normal; font-weight: 700; font-display: swap;
  src: url('./space-grotesk/space-grotesk-latin-700-normal.woff2') format('woff2');
}