/* Generated by scripts/subset-font.py -- do not edit.
   Homepage-only PragmataPro subsets under a private family so the
   full theme.css fonts are never fetched here. font-display: swap +
   a metric-matched fallback keep text visible with minimal shift. */

@font-face {
  font-family: "pragmatapro-home";
  src: url("/fonts/home/R.woff2") format("woff2");
  font-weight: normal;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "pragmatapro-home";
  src: url("/fonts/home/B.woff2") format("woff2");
  font-weight: bold;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "pragmatapro-home";
  src: url("/fonts/home/I.woff2") format("woff2");
  font-weight: normal;
  font-style: italic;
  font-display: swap;
}

@font-face {
  font-family: "pragmatapro-home";
  src: url("/fonts/home/Z.woff2") format("woff2");
  font-weight: bold;
  font-style: italic;
  font-display: swap;
}

@font-face {
  font-family: "pragmatapro-home-fallback";
  src: local("DejaVu Sans Mono"), local("Menlo"), local("Consolas"), local("Courier New");
  ascent-override: 91.99%;
  descent-override: 17.68%;
  line-gap-override: 0.00%;
  size-adjust: 83.33%;
}

body#home {
  font-family: "pragmatapro-home", "pragmatapro-home-fallback", monospace;
}