/* Space Mono, served from this site (SIL Open Font License 1.1, see
   ../fonts/space-mono/OFL.txt), the full font files from google/fonts.

   It used to come from Google Fonts. fonts.googleapis.com is unreachable from
   mainland China, where the page then waited on it and fell back to another
   face; from here it costs one request to the site's own origin. Linked
   before every stylesheet that names the family (tokens.css --pe-font). */
@font-face {
    font-family: 'Space Mono';
    font-style: normal;
    font-weight: 400;
    font-display: swap;
    src: url("../fonts/space-mono/SpaceMono-Regular.b0ea4c1a4ffd.ttf") format('truetype');
}
@font-face {
    font-family: 'Space Mono';
    font-style: normal;
    font-weight: 700;
    font-display: swap;
    src: url("../fonts/space-mono/SpaceMono-Bold.d6a2ed5cbe1c.ttf") format('truetype');
}
@font-face {
    font-family: 'Space Mono';
    font-style: italic;
    font-weight: 400;
    font-display: swap;
    src: url("../fonts/space-mono/SpaceMono-Italic.08992def6d14.ttf") format('truetype');
}
@font-face {
    font-family: 'Space Mono';
    font-style: italic;
    font-weight: 700;
    font-display: swap;
    src: url("../fonts/space-mono/SpaceMono-BoldItalic.a43d4af3d6e1.ttf") format('truetype');
}