style: Bundle/use DejaVu fonts

sass/style.scss

@@ -17,6 +17,16 @@ $toolbar-color: $primary-color;
   src: url("fonts/dejavusans-extralight.woff") format("woff");
 }
 
+@font-face {
+  font-family: "DejaVu Sans";
+  src: url("fonts/dejavusans-regular.woff") format("woff");
+}
+
+@font-face {
+  font-family: "DejaVu Sans Mono";
+  src: url("fonts/dejavusansmono-book.woff") format("woff");
+}
+
 /* Global styles */
 
 html,
@@ -34,8 +44,15 @@ body {
   display: flex;
   flex-direction: column;
   min-height: 100vh;
-  font-family: "Lucida Sans", "Lucida Sans Regular", "Lucida Grande",
-    "Lucida Sans Unicode", Geneva, Verdana, sans-serif;
+  font-family:
+    "DejaVu Sans",
+    "Lucida Sans",
+    "Lucida Sans Regular",
+    "Lucida Grande",
+    "Lucida Sans Unicode",
+    Geneva,
+    Verdana,
+    sans-serif;
 }
 
 body.index {
@@ -56,6 +73,13 @@ h6 {
   color: $text-color;
 }
 
+code,
+kbd,
+pre,
+samp {
+  font-family: "DejaVu Sans Mono", monospace, monospace;
+}
+
 code {
   background-color: #191919;
 }