@font-face {
  font-family: 'Libertinus Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(https://fonts.gstatic.com/l/font?kit=_gPg1RnxrjY_TDm97ApTqwneJJFToAkySTzPu9S6LU6FlE1q9NOiE8l1cPJ8lN3JZV2xaYvs78YQKogstfMualfpIdNA_jQ_fr65mIoMHi85nx1wCg-2iTI&skey=5df263612ee9242b&v=v1) format('truetype');
}