/* The self-hosted IBM Plex faces, in a file of their own so a page can have
 * them without the Industry component system: the public pages
 * (views/layouts/public.hbs) load this and union-ui.css only, and Union UI's
 * mono font is Plex Mono. main.hbs loads it before industry-terminal.css.
 * Cinzel and Overpass are declared in union-ui.css. */

/* IBM Plex Mono and IBM Plex Sans, both self-hosted from
 * assets/fonts/IBM_Plex_Mono/ and assets/fonts/IBM_Plex_Sans/ -- no
 * third-party request for either typeface, and both keep working with no
 * network access at all. Sans is the page default on main.hbs: Tailwind's
 * --font-sans (packages/browser/tailwind-input.css) names it, so it is what any
 * text outside a shell or an .ic-* rule renders in. .woff (zlib-compressed,
 * ~55-60KB/weight for Mono, ~100-115KB/weight for Sans -- Sans's font is
 * simply a larger glyph set), not .woff2 -- fontTools' woff2 encoder needs
 * the Brotli Python extension, which isn't installed in this environment;
 * .woff is still meaningfully smaller than the source .ttf files (which is
 * why only .woff versions of each are kept in their respective directories,
 * source .ttf removed once converted) and needs no extra dependency to
 * produce. Revisit to .woff2 if that ever changes, but every evergreen
 * browser already supports plain .woff so there's no compatibility reason
 * to. Only the four weights either family's CSS could plausibly need exist
 * here at all (400/500/600/700, no italics) -- Sans's source also included
 * Thin/ExtraLight/Light, Condensed/SemiCondensed widths, and a variable-font
 * build, none of which were converted, since nothing in this codebase has a
 * use for them yet and a self-hosted font should carry only the weights it
 * actually serves. */
@font-face {
    font-family: 'IBM Plex Mono';
    src: url('/assets/fonts/IBM_Plex_Mono/IBMPlexMono-Regular.woff') format('woff');
    font-weight: 400;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'IBM Plex Mono';
    src: url('/assets/fonts/IBM_Plex_Mono/IBMPlexMono-Medium.woff') format('woff');
    font-weight: 500;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'IBM Plex Mono';
    src: url('/assets/fonts/IBM_Plex_Mono/IBMPlexMono-SemiBold.woff') format('woff');
    font-weight: 600;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'IBM Plex Mono';
    src: url('/assets/fonts/IBM_Plex_Mono/IBMPlexMono-Bold.woff') format('woff');
    font-weight: 700;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'IBM Plex Sans';
    src: url('/assets/fonts/IBM_Plex_Sans/IBMPlexSans-Regular.woff') format('woff');
    font-weight: 400;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'IBM Plex Sans';
    src: url('/assets/fonts/IBM_Plex_Sans/IBMPlexSans-Medium.woff') format('woff');
    font-weight: 500;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'IBM Plex Sans';
    src: url('/assets/fonts/IBM_Plex_Sans/IBMPlexSans-SemiBold.woff') format('woff');
    font-weight: 600;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'IBM Plex Sans';
    src: url('/assets/fonts/IBM_Plex_Sans/IBMPlexSans-Bold.woff') format('woff');
    font-weight: 700;
    font-style: normal;
    font-display: swap;
}