From d33de8fd26f67c28e3cc68b6ddee77727eea645b Mon Sep 17 00:00:00 2001
From: rsiddharth <s@ricketyspace.net>
Date: Sat, 26 Oct 2019 10:38:22 -0400
Subject: nfsw: Use Noto Mono for /io.

---
 nfsw/static/fonts/noto-mono.ttf | Bin 0 -> 107848 bytes
 nfsw/static/io.css              |  14 ++++++++++----
 2 files changed, 10 insertions(+), 4 deletions(-)
 create mode 100644 nfsw/static/fonts/noto-mono.ttf

diff --git a/nfsw/static/fonts/noto-mono.ttf b/nfsw/static/fonts/noto-mono.ttf
new file mode 100644
index 0000000..3560a3a
Binary files /dev/null and b/nfsw/static/fonts/noto-mono.ttf differ
diff --git a/nfsw/static/io.css b/nfsw/static/io.css
index ce18343..de74830 100644
--- a/nfsw/static/io.css
+++ b/nfsw/static/io.css
@@ -1,6 +1,11 @@
+@font-face {
+    font-family: noto-mono;
+    src: url('/static/fonts/noto-mono.ttf');
+}
+
 body {
-    font-family: monospace;
-    font-size: 1em;
+    font-family: noto-mono;
+    font-size: 0.88em;
     overflow: hidden;
     margin: 0 0 0 0;
 }
@@ -15,12 +20,13 @@ body {
 
 .console {
     overflow-y: auto;
-    flex: 1 0 90%;
+    flex: 1 0 80vh;
     margin-left: 15px;
     margin-bottom: 10px;
 }
 
 .console pre.concierge {
+    font-family: noto-mono;
     margin: 0 0 0 0;
     border-left: 2px solid rgb(180,180,240);
     padding-left: 5px;
@@ -56,7 +62,7 @@ body {
     font-size: 1.2em;
     padding-left: 5px;
     border: 2px solid rgb(230,230,230);
-    font-family: monospace;
+    font-family: noto-mono;
 }
 
 .prompt input:focus {
-- 
cgit v1.2.3