[sass/home,static/DejaVuSansMono.wof*]: Provide downloadable Deja Vu Sans Mono fonts for banner

themes/doublefourteen/assets/sass/banner-fonts.sass

@@ -0,0 +1,3 @@
+@font-face
+    font-family: DejaVuSansMono
+    src: url("/DejaVuSansMono.woff2") format("woff2"), url("/DejaVuSansMono.woff") format("woff")

themes/doublefourteen/assets/sass/home.sass

@@ -11,6 +11,8 @@ $-term-height-mid: 400px
 $-term-height-mobile: 280px
 $-term-scanline-height: 5px
 
+@import "banner-fonts"
+
 .main
   background-color: var(--background-color)
   color: var(--foreground-color)
@@ -116,9 +118,9 @@ $-term-scanline-height: 5px
   position: relative
   text-align: left
   padding-left: 1em
-  font-family: Inconsolata, Courier, unicase
+  font-family: DejaVuSansMono
   text-shadow: 0 0 8px rgba(lighten($-term-color, 50%), 0.3)
-  font-size: 4em
+  font-size: 3.5em
   color: $-term-color
 
 .ghost, .pop
@@ -126,10 +128,10 @@ $-term-scanline-height: 5px
 
 .banner-msg-line
   text-shadow: 0 0 8px rgba(lighten($-term-color, 30%), 0.3)
-  font-family: Inconsolata, Courier, monospace
+  font-family: DejaVuSansMono
   font-smoothing: antialiased
   padding-left: 6em
-  font-size: 3em
+  font-size: 2.6em
   white-space: pre
   color: $-term-color
   overflow: hidden