/* Space Mono — SIL Open Font License 1.1. Self-hosted: no third-party
   font requests, and the page keeps its type if Google Fonts is blocked. */
@font-face{
  font-family:'Space Mono';
  font-style:normal;
  font-weight:400;
  font-display:swap;
  src:url('spacemono-400.woff2') format('woff2');
}
@font-face{
  font-family:'Space Mono';
  font-style:normal;
  font-weight:700;
  font-display:swap;
  src:url('spacemono-700.woff2') format('woff2');
}