Remove custom fonts

css/style.css

@@ -1,15 +1,8 @@
-@font-face {
-    font-family: 'code_new_romanregular';
-    src: url('../fonts/code_new_roman-webfont.woff2') format('woff2'),
-         url('../fonts/code_new_roman-webfont.woff') format('woff');
-    font-weight: normal;
-    font-style: normal;
-}
-
 body {
     max-width: 800px;
-    font-family: "code_new_romanregular", Monospace, sans-serif;
+    font-family: sans-serif;
-    font-size: 11pt;
+    font-size: 12pt;
+    line-height: 1.2;
     padding-left: 2ch;
     padding-right: 3ch; /* for scrollbar */
     margin: 0 auto;

fonts/Tupfile

@@ -1 +0,0 @@
-: foreach *.otf *.woff *.woff2 |> !tup_preserve |>