/* PredTerminal brand fonts, self-hosted from /fonts (CSP-safe: no Google Fonts
 * request, no @import, so the CSP needs nothing beyond font-src 'self').
 *
 * JetBrains Mono - the whole site. The locked design is mono-only, so BOTH
 *                  --pm-font-sans and --pm-font-mono name this family: one
 *                  voice, four weights, no second typeface anywhere.
 * Inter          - loaded, referenced by nothing. It is kept on disk (and here)
 *                  so a future non-terminal surface has a real sans to reach
 *                  for without a font hunt, and so the weight-coverage guard in
 *                  test/analytics-partial.test.js still has a complete family
 *                  to check every declared weight against. Do not point a
 *                  --pm-font-* token at it without an owner decision: the
 *                  mono-only rule is part of the locked design.
 *
 * Latin subsets, woff2 only, font-display: swap so text paints immediately and
 * swaps in when the file lands.
 *
 * Weights here MUST cover every weight the design system actually uses. A weight
 * with no face does NOT fall back gracefully: CSS font matching resolves it to
 * the nearest face that exists. That resolution is deliberate for the mono:
 * 400 (body default) resolves up to 500 and 600 resolves up to 700, so the
 * rendered ladder is exactly the 500/700/800 the design draws, with no
 * synthesised weights.
 *   Inter          400, 500, 600, 700, 800
 *   JetBrains Mono 500, 700, 800
 */

@font-face {
    font-family: 'Inter';
    font-style: normal;
    font-weight: 400;
    font-display: swap;
    src: url('/fonts/inter-400.woff2') format('woff2');
}
@font-face {
    font-family: 'Inter';
    font-style: normal;
    font-weight: 500;
    font-display: swap;
    src: url('/fonts/inter-500.woff2') format('woff2');
}
@font-face {
    font-family: 'Inter';
    font-style: normal;
    font-weight: 600;
    font-display: swap;
    src: url('/fonts/inter-600.woff2') format('woff2');
}
@font-face {
    font-family: 'Inter';
    font-style: normal;
    font-weight: 700;
    font-display: swap;
    src: url('/fonts/inter-700.woff2') format('woff2');
}
@font-face {
    font-family: 'Inter';
    font-style: normal;
    font-weight: 800;
    font-display: swap;
    src: url('/fonts/inter-800.woff2') format('woff2');
}

@font-face {
    font-family: 'JetBrains Mono';
    font-style: normal;
    font-weight: 500;
    font-display: swap;
    src: url('/fonts/jetbrains-mono-500.woff2') format('woff2');
}
@font-face {
    font-family: 'JetBrains Mono';
    font-style: normal;
    font-weight: 700;
    font-display: swap;
    src: url('/fonts/jetbrains-mono-700.woff2') format('woff2');
}
@font-face {
    font-family: 'JetBrains Mono';
    font-style: normal;
    font-weight: 800;
    font-display: swap;
    src: url('/fonts/jetbrains-mono-800.woff2') format('woff2');
}