@font-face {
    font-family: 'LibertinusMonoMono';
        src: url('/assets/fonts/libertinus-mono/0fe273e9366e10fec4e1d5f1fc710fc7/b8bd3f264629b4afb10d66e78b1a98e6/LibertinusMonoMono.otf') format('opentype');
    font-weight: normal;
    font-style: normal;
      }

 /* The following rules are deprecated. */ 

@font-face {
    font-family: 'Libertinus Mono';
        src: url('/assets/fonts/libertinus-mono/0fe273e9366e10fec4e1d5f1fc710fc7/b8bd3f264629b4afb10d66e78b1a98e6/LibertinusMonoMono.otf') format('opentype');
    font-weight: normal;
    font-style: normal;
      }