/* RAVI type.

   POPPINS is the display face and ships as STATIC PER-WEIGHT FILES --
   one download per weight, and a weight that is NOT declared here is
   SYNTHESISED SILENTLY by the browser. It looks wrong at large sizes and
   is invisible in a diff. Only 600, 700 and 800 exist. Do not use any
   other Poppins weight anywhere in the app.

   NUNITO is the text face and is VARIABLE, 200 to 1000, one file, so any
   weight in that range is free.

   NUNITO IS NOT MONOSPACE. font-variant-numeric:tabular-nums must follow
   every numeric role or digits breathe as they change -- the counter's
   timer and the trade page's price columns first.

   PATHS ARE RELATIVE, on purpose. They resolve at the Pages address and
   at a custom domain simultaneously, so the domain move carries no flag
   day for type.

   ARCHIVO AND IBM PLEX MONO ARE RETIRED. Their @font-face rules and font
   files were removed once the four real pages finished converting to
   Poppins and Nunito; nothing in the app should reference them again. */

@font-face {
  font-family: 'Poppins';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url(fonts/poppins-600.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: 'Poppins';
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url(fonts/poppins-700.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: 'Poppins';
  font-style: normal;
  font-weight: 800;
  font-display: swap;
  src: url(fonts/poppins-800.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: 'Nunito';
  font-style: normal;
  font-weight: 200 1000;
  font-display: swap;
  src: url(fonts/nunito-var.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;
}