diff --git a/fonts/DejaVuSansMono-Bold.ttf b/fonts/DejaVuSansMono-Bold.ttf
deleted file mode 100644
index c6eda19..0000000
Binary files a/fonts/DejaVuSansMono-Bold.ttf and /dev/null differ
diff --git a/fonts/DejaVuSansMono-BoldOblique.ttf b/fonts/DejaVuSansMono-BoldOblique.ttf
deleted file mode 100644
index 20db866..0000000
Binary files a/fonts/DejaVuSansMono-BoldOblique.ttf and /dev/null differ
diff --git a/fonts/DejaVuSansMono-Oblique.ttf b/fonts/DejaVuSansMono-Oblique.ttf
deleted file mode 100644
index 236c739..0000000
Binary files a/fonts/DejaVuSansMono-Oblique.ttf and /dev/null differ
diff --git a/fonts/DejaVuSansMono.ttf b/fonts/DejaVuSansMono.ttf
deleted file mode 100644
index d017d72..0000000
Binary files a/fonts/DejaVuSansMono.ttf and /dev/null differ
diff --git a/style.css b/style.css
index e9655a1..c3478b4 100644
--- a/style.css
+++ b/style.css
@@ -1,19 +1,6 @@
-@font-face {
-  font-family: DejaVuSansMono;
-  src: local("DejaVu Sans Mono"),
-       url(fonts/DejaVuSansMono.ttf);
-}
-
-@font-face {
-  font-family: DejaVuSansMono;
-  src: local("DejaVu Sans Mono Bold"),
-       url(fonts/DejaVuSansMono-Bold.ttf);
-  font-weight: bold;
-}
-
 body {
   text-align: center;
-  font-family: DejaVuSansMono;
+  font-family: DejaVu Sans Mono, monospace;
   /* Disable font boosting */
   -webkit-text-size-adjust: none;
   -moz-text-size-adjust: none;
@@ -36,7 +23,7 @@ p {
 }
 
 pre {
-  font-family: DejaVuSansMono;
+  font-family: DejaVu Sans Mono, monospace;
 }
 
 input {