@font-face {
    font-family: 'Fragment Mono';
    src: url('FragmentMono-Regular.ttf') format('truetype');
    font-weight: 400;
    font-style: normal;
    font-display: block;
}

/* Inter font for arrow character (U+2192: →) */
/* @font-face {
    font-family: 'Fragment Mono';
    src: url('https://fonts.gstatic.com/s/inter/v18/UcCO3FwrK3iLTeHuS_nVMrMxCp50SjIw2boKoduKmMEVuLyfMZs.woff2') format('woff2');
    font-weight: 400;
    font-style: normal;
    font-display: block;
    unicode-range: U+2192;
} */