/* Bender, the site's one typeface, self-hosted (commercial web use permitted).
   Declared once here for every page, which loads this file right after
   /tokens.css. Three weights: Light 300 (large display only), Regular 400
   (almost everything), Bold 700 (numbers, codes, emphasis).
   swap: text shows at once in the fallback face and switches when Bender
   arrives; scripts that draw text on a canvas wait for it first
   (document.fonts.load). */
@font-face {
  font-family: 'Bender';
  src: url('/fonts/bender-light.woff2') format('woff2');
  font-weight: 300;
  font-display: swap;
}

@font-face {
  font-family: 'Bender';
  src: url('/fonts/bender-regular.woff2') format('woff2');
  font-weight: 400;
  font-display: swap;
}

@font-face {
  font-family: 'Bender';
  src: url('/fonts/bender-bold.woff2') format('woff2');
  font-weight: 700;
  font-display: swap;
}