/* Inter — the interface typeface (house standard).
   Linked by the shell ONLY when inter-400.woff2 is present, so a checkout
   without the files never requests a URL that is not there. See README.md in
   this folder for the four files and where they come from. */
@font-face { font-family: "Inter"; src: url("/static/fonts/inter-400.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "Inter"; src: url("/static/fonts/inter-500.woff2") format("woff2"); font-weight: 500; font-style: normal; font-display: swap; }
@font-face { font-family: "Inter"; src: url("/static/fonts/inter-600.woff2") format("woff2"); font-weight: 600; font-style: normal; font-display: swap; }
@font-face { font-family: "Inter"; src: url("/static/fonts/inter-700.woff2") format("woff2"); font-weight: 700; font-style: normal; font-display: swap; }

/* The hyphen is a hyphen. Digits are tabular across the product (set once on
   body), and Inter's tabular feature also swaps the hyphen-minus for a
   figure-wide one: as wide as a digit, so "K-1" read as "K- 1" and a date as
   "10 - 10 - 2026". The same Inter file cannot be told otherwise, because an
   element's feature settings outrank an @font-face descriptor (measured). So
   these four faces take U+002D alone from the Plex Sans this folder already
   holds, whose hyphen has no figure-wide form. Every digit stays as it was.
   They come after the faces above on purpose: of two faces that cover a
   character, the later one is asked first.
   Screen only. On paper the tabular feature is off (style.css, @media print)
   and Inter's own hyphen is narrow again; a hyphen from a second font would
   put "K-1" in three runs of a PDF's text layer, which reads back "K - 1". */
@media screen {
  @font-face { font-family: "Inter"; src: url("/static/fonts/ibm-plex-sans-400.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; unicode-range: U+002D; }
  @font-face { font-family: "Inter"; src: url("/static/fonts/ibm-plex-sans-500.woff2") format("woff2"); font-weight: 500; font-style: normal; font-display: swap; unicode-range: U+002D; }
  @font-face { font-family: "Inter"; src: url("/static/fonts/ibm-plex-sans-600.woff2") format("woff2"); font-weight: 600; font-style: normal; font-display: swap; unicode-range: U+002D; }
  @font-face { font-family: "Inter"; src: url("/static/fonts/ibm-plex-sans-700.woff2") format("woff2"); font-weight: 700; font-style: normal; font-display: swap; unicode-range: U+002D; }
}