@font-face { font-family: "Diatype"; src: url("/fonts/ReplitDiatypeVariable.woff2") format("woff2"); font-style: normal; font-weight: 100 900; font-display: swap; }
@font-face { font-family: "Diatype Mono"; src: url("/fonts/ReplitDiatypeMonoVariable.woff2") format("woff2"); font-style: normal; font-weight: 100 900; font-display: swap; }