/* Fonts served from the site itself (no request to Google): Archivo (variable: weight 100–900, width 62–125 %)
   and IBM Plex Mono 400/500/600, both SIL Open Font License (OFL-*.txt). Subset to Latin, punctuation, arrows
   and the Greek letters used in the formulas. */
@font-face { font-family: 'Archivo'; font-style: normal; font-weight: 100 900; font-stretch: 62% 125%; font-display: swap; src: url('Archivo-var.woff2') format('woff2'); }
@font-face { font-family: 'IBM Plex Mono'; font-style: normal; font-weight: 400; font-display: swap; src: url('IBMPlexMono-Regular.woff2') format('woff2'); }
@font-face { font-family: 'IBM Plex Mono'; font-style: normal; font-weight: 500; font-display: swap; src: url('IBMPlexMono-Medium.woff2') format('woff2'); }
@font-face { font-family: 'IBM Plex Mono'; font-style: normal; font-weight: 600; font-display: swap; src: url('IBMPlexMono-SemiBold.woff2') format('woff2'); }