/* JetBrains Mono: resolved by unifont from the `fontshare` provider.
 * https://unifont.dev/fonts/JetBrains%20Mono
 */

@font-face {
  font-family: "JetBrains Mono specimen";
  src: url("https://cdn.fontshare.com/wf/TZ2PMVPWEVHUPJWOPNSWLOXAF6QPOEMZ/O4OZKA7ZLZGT4JOGT5IEKURK6U3RXYGM/EO5MKE3BUDOZN44BP4HDPXAJAC2BIMCD.woff2") format("woff2");
  font-display: swap;
  font-weight: 400;
  font-style: normal;
}

:root {
  --font-jetbrains-mono-specimen: "JetBrains Mono specimen", "JetBrains Mono specimen fallback", sans-serif;
}

/* Metric-matched fallback, so text does not reflow when the real font lands. */
@font-face {
  font-family: "JetBrains Mono specimen fallback";
  src: local("sans-serif");
  size-adjust: 100%;
  ascent-override: 102%;
  descent-override: 30%;
  line-gap-override: 0%;
}