/* The three brand faces, self-hosted — the same woff2 files the marketing
   site serves, so the two surfaces render identically.

   The official display face is Hubot Sans SEMI-Condensed; only the Condensed
   cut was available to us. Visually close. If the semi-condensed file turns
   up, swap the file and leave everything else alone. */

@font-face {
  font-family: 'Hubot Sans Condensed';
  font-style: normal;
  /* One physical cut, SemiBold (600). Claiming the whole range is deliberate:
     54 headings in this app ask for font-bold or font-extrabold, and without
     it the browser would synthesise faux-bold from these outlines — which
     smears a face that is already tight. Declaring the range hands every
     requested weight the real 600 drawing instead. */
  font-weight: 100 900;
  font-display: swap;
  src: url("/assets/HubotSansCondensed-SemiBold-5bd43804.woff2") format('woff2');
}

@font-face {
  font-family: 'DM Sans';
  font-style: normal;
  font-weight: 100 1000;
  font-display: swap;
  src: url("/assets/DMSans-Variable-58ae12e7.woff2") format('woff2');
}

@font-face {
  font-family: 'DM Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("/assets/DMMono-Regular-b3c8f706.woff2") format('woff2');
}

@font-face {
  font-family: 'DM Mono';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("/assets/DMMono-Medium-8ef4ae8a.woff2") format('woff2');
}