Set font to DejaVuSansMono

8 years ago · 4294e9155b
parent bb22581b64
commit 4294e9155b
2 changed files with 6 additions and 0 deletions
--- a/css/default.css
+++ b/css/default.css
@ -1,4 +1,10 @@
+@font-face {
+    font-family: DejaVuSansMono;
+    src: local(DejaVuSansMono), url('/fonts/DejaVuSansMono.ttf') format('opentype');
+}
+
 body {
+    font-family: DejaVuSansMono;
    color: rgb(0,204,0);
    background-color: black;
    font-size: 16px;
--- a/fonts/DejaVuSansMono.ttf
+++ b/fonts/DejaVuSansMono.ttf