@font-face {
    font-family: 'MitraMonoMonospace';
        src: url('/assets/fonts/mitra-mono/1e06601b02534c3f8778429b73329f42/6c56aee81f4ebf833c55dccc47bcca54/MitraMonoMonospace.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
      }

 /* The following rules are deprecated. */ 

@font-face {
    font-family: 'Mitra Mono';
        src: url('/assets/fonts/mitra-mono/1e06601b02534c3f8778429b73329f42/6c56aee81f4ebf833c55dccc47bcca54/MitraMonoMonospace.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
      }