add protracker3 font

website/src/repl/Footer.jsx

@@ -375,6 +375,7 @@ const fontFamilyOptions = {
   'we-come-in-peace': 'we-come-in-peace',
   FiraCode: 'FiraCode',
   'FiraCode-SemiBold': 'FiraCode SemiBold',
+  'protracker3': 'protracker3',
 };
 
 function SettingsTab({ scheduler }) {

website/src/styles/index.css

@@ -26,6 +26,10 @@
   font-family: 'FiraCode-SemiBold';
   src: url('/fonts/FiraCode/FiraCode-SemiBold.ttf');
 }
+@font-face {
+  font-family: 'protracker3';
+  src: url('/fonts/protracker/protracker3-font.ttf');
+}
 
 .prose > h1:not(:first-child) {
   margin-top: 30px;