/* ═══════════════════════════════════════════════════════════
   Self-hosted type. Nothing here reaches a third party, so no
   visitor IP is shared with Google and the site needs no cookie
   banner on account of its fonts.

   Poppins is subset to Latin and ships with the site (~40 KB).
   Instrument Sans and JetBrains Mono are optional: drop their
   woff2 files in /fonts and they are used; leave them out and
   the system stacks below take over cleanly.
   ═══════════════════════════════════════════════════════════ */

@font-face{font-family:Poppins;src:url(/fonts/poppins-400.woff2) format('woff2');
  font-weight:400;font-style:normal;font-display:swap}
@font-face{font-family:Poppins;src:url(/fonts/poppins-500.woff2) format('woff2');
  font-weight:500 600;font-style:normal;font-display:swap}
@font-face{font-family:Poppins;src:url(/fonts/poppins-700.woff2) format('woff2');
  font-weight:700 900;font-style:normal;font-display:swap}
@font-face{font-family:Poppins;src:url(/fonts/poppins-700i.woff2) format('woff2');
  font-weight:700 900;font-style:italic;font-display:swap}

@font-face{font-family:'Instrument Sans';src:url(/fonts/instrument-400.woff2) format('woff2');
  font-weight:400;font-style:normal;font-display:swap}
@font-face{font-family:'Instrument Sans';src:url(/fonts/instrument-500.woff2) format('woff2');
  font-weight:500 600;font-style:normal;font-display:swap}
@font-face{font-family:'JetBrains Mono';src:url(/fonts/jetbrains-400.woff2) format('woff2');
  font-weight:400 500;font-style:normal;font-display:swap}