changed the monospace font to helvetica

2019-04-22 18:53:03 +00:00 · 2019-04-22 18:53:03 +00:00 · ea6021d851
parent b120e40587
commit ea6021d851
1 changed files with 6 additions and 1 deletions
--- a/public/index.html
+++ b/public/index.html
@ -6,6 +6,11 @@
    <script src="jquery.min.js" type="text/javascript"></script> 
    <script src="skulpt.min.js" type="text/javascript"></script> 
    <script src="skulpt-stdlib.js" type="text/javascript"></script>
+    <style>
+    textarea {
+        font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
+    }
+    </style>
 </head>
 <body>
    <script type="text/javascript">