/* Served from this site. No external host. Linked by every page.
   2026-10-09: the type-candidate faces of the R3 to R5 review (IBM Plex Sans 400/500/600,
   IBM Plex Mono 500, Space Grotesk) are gone; no page ever fetched them once the type was
   locked to Inter + Source Serif 4 (inter.css, source-serif-4.css). What remains here:
   IBM Plex Mono 400, which the review bar and the comment tool use and which goes with them
   at the bake, and Jost 500, kept at the owner's request. */

@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('ibm-plex-mono-400.woff2') format('woff2');
}
@font-face {
  font-family: 'Jost';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url('jost-500.woff2') format('woff2');
}