@font-face {
    font-display: block;
    font-family: "DejaVu Sans Book";
    font-style: normal;
    font-weight: 400;
    src: local("DejaVu Sans"), local('DejaVuSans'), url("https://d2mx2n54ydq2ht.cloudfront.net/dejavusans/DejaVuSans-Book.ttf") format('truetype');
  }

  @font-face {
    font-display: block;
    font-family: "DejaVu Sans";
    font-style: normal;
    font-weight: 400;
    src: local("DejaVu Sans"), local('DejaVuSans'), url("https://d2mx2n54ydq2ht.cloudfront.net/dejavusans/DejaVuSans-Book.ttf") format('truetype');
  }