/* The files beside this one are copies of the tree's fonts directory made by
 * site/copy-fonts.sh, so the site serves the same bytes the app and the
 * stream card embed. This stylesheet is the list that script reads: name a
 * face here and it gets copied, stop naming one and it goes.
 * Public Sans (OFL, see PublicSans-OFL.txt) for text,
 * IBM Plex Mono (OFL, see IBMPlexMono-OFL.txt) for code and numerals. */

@font-face {
    font-family: "Public Sans";
    font-style: normal;
    font-weight: 400;
    src: url("../fonts/PublicSans-Regular.ttf") format("truetype");
}

@font-face {
    font-family: "Public Sans";
    font-style: normal;
    font-weight: 600;
    src: url("../fonts/PublicSans-SemiBold.ttf") format("truetype");
}

@font-face {
    font-family: "IBM Plex Mono";
    font-style: normal;
    font-weight: 400;
    src: url("../fonts/IBMPlexMono-Regular.ttf") format("truetype");
}