/* ─────────────────────────────────────────────────────────────────────
   Font Awesome 5.15.4 — subset
   ─────────────────────────────────────────────────────────────────────

   The site used exactly four icons:

       fa-angle-down    \f107   language menu
       fa-chevron-down  \f078   filter drop-downs
       fa-download      \f019   download link
       fa-print         \f02f   print button

   The full distribution shipped 3.2 MB — 360 KB of CSS naming 1,600 icons,
   and 2.9 MB of webfonts in five formats — to draw those four. This file and
   fonts/fa-subset.woff2 (748 bytes) do the same job.

   The class names are unchanged, so no markup had to move: `<i class="fa
   fa-chevron-down">` still resolves, in pages.js and in the pages alike.

   To add an icon
   --------------
   1. Find its codepoint in _archive/fontawesome/css/all.min.css
      (`.fa-NAME:before{content:"\fXXX"}`).
   2. Add the codepoint to `codes` in tools/make-fa-subset.py and re-run it.
   3. Add the `:before` rule below.

   Only the solid face is included: in 5.x, `.fa` and `.fas` both mean
   "Font Awesome 5 Free" at weight 900, and all four icons are solid. `.far`
   and `.fab` (regular and brands) are not shipped — nothing on the site uses
   them, and an unstyled fallback is the correct outcome if something ever does.

   viewer.html is not affected: it loads Font Awesome 6 from a CDN separately.
   ───────────────────────────────────────────────────────────────────── */

@font-face {
  font-family: "Font Awesome 5 Free";
  font-style: normal;
  font-weight: 900;
  font-display: block;
  src: url(fonts/fa-subset.woff2) format("woff2");
}

.fa,
.fas {
  -moz-osx-font-smoothing: grayscale;
  -webkit-font-smoothing: antialiased;
  display: inline-block;
  font-style: normal;
  font-variant: normal;
  text-rendering: auto;
  line-height: 1;
  font-family: "Font Awesome 5 Free";
  font-weight: 900;
}

.fa-angle-down:before   { content: "\f107"; }
.fa-chevron-down:before { content: "\f078"; }
.fa-download:before     { content: "\f019"; }
.fa-print:before        { content: "\f02f"; }