/* Self-hosted, and now declared honestly.
 *
 * THESE FILES WERE ALWAYS VARIABLE FONTS. Bitter carries a 300-800 weight axis
 * and Source Sans 3 a 300-700 one -- checked by re-fetching them from the
 * source and finding the bytes identical to what we already had. The CSS
 * below used to declare them as single static weights (600 and 400), which
 * threw the axis away and left the browser SYNTHESISING every other weight.
 *
 * Measured on the live page before the fix, same string at 48px:
 *
 *   Source Sans 3   w400 545.02px   w600 559.38px   w700 559.38px
 *   Bitter          w400 608.52px   w600 608.52px   w700 612.43px
 *
 * 600 and 700 identical in Source Sans means both were the same file; wider
 * than 400 means the browser was smearing it to fake bold. Bitter at 700 was
 * synthetic bold applied on top of the real 600. So every headline on this
 * site was faux-bolded, and every "semibold" in body text was a fattened
 * regular -- the thing that makes type look slightly cheap while nobody can
 * say why.
 *
 * Declaring the ranges costs zero extra bytes: it is the same four files.
 */
@font-face {
  font-family: 'Bitter';
  font-style: normal;
  font-weight: 300 800;
  font-display: swap;
  src: url(/static/fonts/Bitter-600-latin-ext.woff2) format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
@font-face {
  font-family: 'Bitter';
  font-style: normal;
  font-weight: 300 800;
  font-display: swap;
  src: url(/static/fonts/Bitter-600-latin.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
  font-family: 'Source Sans 3';
  font-style: normal;
  font-weight: 300 700;
  font-display: swap;
  src: url(/static/fonts/SourceSans3-400-latin-ext.woff2) format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
@font-face {
  font-family: 'Source Sans 3';
  font-style: normal;
  font-weight: 300 700;
  font-display: swap;
  src: url(/static/fonts/SourceSans3-400-latin.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(/static/fonts/JetBrainsMono-400-latin-ext.woff2) format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(/static/fonts/JetBrainsMono-400-latin.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

/* Never fake a weight or a slant. If a face cannot supply what was asked for,
   the right outcome is that it looks wrong and gets fixed -- not that the
   browser quietly smears the glyphs and everyone lives with it for months. */
:root { font-synthesis: none; }