/* Self-hosted fonts keep metrics stable when Google Fonts is unavailable. */
@font-face {
    font-family: 'Inter'; font-style: normal; font-weight: 100 900;
    font-display: swap; src: url('/assets/fonts/inter-variable.ttf') format('truetype');
}
@font-face {
    font-family: 'JetBrains Mono'; font-style: normal; font-weight: 100 800;
    font-display: swap; src: url('/assets/fonts/jetbrains-mono-variable.ttf') format('truetype');
}