@font-face {
  font-family: "IBM Plex Mono";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("/en/assets/fonts/ibm-plex-mono-400.woff2") format("woff2");
}

html[lang="en"] code,
html[lang="en"] kbd,
html[lang="en"] samp,
html[lang="en"] .technical {
  font-family: var(--font-en-mono);
  font-size: 0.94em;
  font-weight: 400;
  letter-spacing: 0;
}