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

@font-face {
  font-family: "Roboto Mono specimen";
  src: url("https://fonts.gstatic.com/l/font?kit=L0xuDF4xlVMF-BfR8bXMIhJHg45mwgGEFl0_3vqPRu-5IpykSbYyW6EMPR5mr41tCtl88vSiEccvNpxX4QFWjXis5Y6v&skey=7b92570108d40690&v=v31") format("woff2");
  font-display: swap;
  font-weight: 400;
  font-style: normal;
  unicode-range: U+20, U+26, U+2e, U+30-33, U+48, U+4d, U+52, U+54, U+61-62, U+64-65, U+67-69, U+6b-6c, U+6e-70, U+72-77, U+79;
}

:root {
  --font-roboto-mono-specimen: "Roboto Mono specimen", "Roboto Mono specimen fallback", monospace;
}

/* Metric-matched fallback, so text does not reflow when the real font lands. */
@font-face {
  font-family: "Roboto Mono specimen fallback";
  src: local("Courier New"), local("Cousine"), local("Liberation Mono"), local("DejaVu Sans Mono"), local("Menlo");
  size-adjust: 100%;
  ascent-override: 89.2%;
  descent-override: 20.4%;
  line-gap-override: 0%;
}