/*
 * v4 type: Archivo (variable, weight 400–900, width 100–125 %) for words, IBM Plex Mono for labels and data. Both are
 * the tool shop's own files (SIL Open Font Licence). The stand-ins are sized and spaced to them as the shop measured in
 * Chrome, so nothing moves when the fonts arrive (the shop scored 0.125 layout shift without them).
 */
@font-face { font-family: "Archivo"; src: url("../fonts/archivo-var.woff2") format("woff2"); font-weight: 400 900; font-stretch: 100% 125%; font-style: normal; font-display: swap; }
@font-face { font-family: "IBM Plex Mono"; src: url("../fonts/plex-mono-500.woff2") format("woff2"); font-weight: 500; font-style: normal; font-display: swap; }
@font-face { font-family: "IBM Plex Mono"; src: url("../fonts/plex-mono-600.woff2") format("woff2"); font-weight: 600; font-style: normal; font-display: swap; }
@font-face { font-family: "Archivo fallback"; src: local("Arial"), local("ArialMT"), local("Liberation Sans"), local("LiberationSans"); font-weight: 100 549; size-adjust: 97.82%; ascent-override: 89.96%; descent-override: 21.47%; line-gap-override: 0%; }
@font-face { font-family: "Archivo fallback"; src: local("Arial Bold"), local("Arial-BoldMT"), local("Liberation Sans Bold"), local("LiberationSans-Bold"); font-weight: 550 1000; size-adjust: 97.15%; ascent-override: 90.58%; descent-override: 21.62%; line-gap-override: 0%; }
@font-face { font-family: "IBM Plex Mono fallback"; src: local("Courier New"), local("CourierNewPSMT"), local("Liberation Mono"), local("LiberationMono"); size-adjust: 100%; ascent-override: 103.02%; descent-override: 28%; line-gap-override: 0%; }