/* IBM Plex, self-hosted.
 *
 * Not linked from Google's CDN on purpose: this site's whole claim is that
 * your messages never leave your machine, and fonts.gstatic.com would hand
 * Google the IP of every visitor who reads that sentence. Self-hosting also
 * drops a DNS lookup and a connection from the critical path.
 *
 * The roman is a variable font (wght 100-700), so one 40 KB file covers every
 * weight the site uses. Nothing here goes above 700: the axis stops there, and
 * asking for 800 would get a synthesised fake-bold.
 *
 * Files came from Google's latin subset, which carries the middle dot the
 * caption rows are built from. (<code> in the prose pages falls back to the
 * system monospace, which is what it should be anyway.) Arrows (U+2192) are outside it and fall back to
 * the system font, which is fine for the one glyph that uses them.
 */
@font-face {
  font-family: 'IBM Plex Sans';
  font-style: normal;
  font-weight: 100 700;
  font-display: swap;
  src: url('/assets/fonts/ibm-plex-sans-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: 'IBM Plex Sans';
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url('/assets/fonts/ibm-plex-sans-latin-italic.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;
}