@font-face {
  font-family: 'HAL Repost Mono Regular';
  font-style: normal;
  font-weight: 400;
  src: url('https://fonts.fontdue.com/hanli/fonts/af050d9be9b26f485f1f46c0badc6bb0d1c2e55f.woff2') format('woff2'), url('https://fonts.fontdue.com/hanli/fonts/af050d9be9b26f485f1f46c0badc6bb0d1c2e55f.woff') format('woff');
  
    line-gap-override: 0.0%;
    ascent-override: 111.5%;
    descent-override: 31.5%;
  
  }

  
  @font-face {
  font-family: 'HAL Repost Mono Italic';
  font-style: normal;
  font-weight: 400;
  src: url('https://fonts.fontdue.com/hanli/fonts/f3057d27be212a2ac309c2133d92833ba3e456d8.woff2') format('woff2'), url('https://fonts.fontdue.com/hanli/fonts/f3057d27be212a2ac309c2133d92833ba3e456d8.woff') format('woff');
  
    line-gap-override: 0.0%;
    ascent-override: 111.5%;
    descent-override: 31.5%;
  
  }