/* The brand's two faces, served by the page itself.

   GABARITO for titles, JETBRAINS MONO for text. Both are variable -- one file carries the
   whole weight axis, so 300 and 500 and 700 cost one download between them -- and both are
   under the SIL Open Font License, whose one condition is that the licence ships with the
   font: assets/fonts/*-OFL.txt.

   SUBSET TO WHAT THE PAGE WRITES, by tools/build_fonts.py: Latin-1, Latin Extended-A and the
   punctuation the interface uses, which is 341 characters out of a face that otherwise carries
   Cyrillic, Greek and powerline symbols. 337 KB of TrueType becomes 87 KB of woff2.

   SELF-HOSTED rather than linked from Google Fonts. A font on someone else's origin is a DNS
   lookup, a connection and a stylesheet in front of the first paint of a page whose type is
   most of its identity, and it is a second party watching everyone who reads it.

   swap, not block: the fallback stacks below are close enough in metrics that the exchange is
   not a lurch, and a page that cannot be read until a font arrives is worse than one that
   changes face once. Both are preloaded in index.html, so it is a short wait. */

@font-face{
  font-family:'Gabarito';
  src:url('../assets/fonts/gabarito.woff2') format('woff2-variations'),
      url('../assets/fonts/gabarito.woff2') format('woff2');
  font-weight:400 900;                       /* the file's own axis, wght 400..900 */
  font-style:normal;
  font-display:swap;
}

@font-face{
  font-family:'JetBrains Mono';
  src:url('../assets/fonts/jetbrains-mono.woff2') format('woff2-variations'),
      url('../assets/fonts/jetbrains-mono.woff2') format('woff2');
  font-weight:100 800;                       /* the file's own axis, wght 100..800 */
  font-style:normal;
  font-display:swap;
}