@font-face {
    font-family: 'HAL Timezone';
    src: url('HALTimezone-Italic.woff2') format('woff2'),
        url('HALTimezone-Italic.woff') format('woff');
    font-weight: normal;
    font-style: italic;
    font-display: swap;
}

@font-face {
    font-family: 'HAL Timezone Mono';
    src: url('HALTimezoneMono-Regular.woff2') format('woff2'),
        url('HALTimezoneMono-Regular.woff') format('woff');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'HAL Timezone';
    src: url('HALTimezone-Regular.woff2') format('woff2'),
        url('HALTimezone-Regular.woff') format('woff');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
}