Here is the code for the font's I'm using:

• @import url('https://fonts.googleapis.com/css2?family=Roboto+Mono&family=Snippet&display=swap');
• font-family: 'Snippet', sans-serif;
• font-family: 'Roboto Mono', monospace;
• font-family: Georgia, 'Times New Roman', Times, serif;