summaryrefslogtreecommitdiffstats
path: root/nfsw
diff options
context:
space:
mode:
authorrsiddharth <s@ricketyspace.net>2019-10-26 10:38:22 -0400
committerrsiddharth <s@ricketyspace.net>2019-10-26 10:38:22 -0400
commitd33de8fd26f67c28e3cc68b6ddee77727eea645b (patch)
tree53e8f7f5033b40238a7e2784c589769fb0bfde5b /nfsw
parent17b715179dd0231d7ae874a0abefe554b67df64b (diff)
nfsw: Use Noto Mono for /io.
Diffstat (limited to 'nfsw')
-rw-r--r--nfsw/static/fonts/noto-mono.ttfbin0 -> 107848 bytes
-rw-r--r--nfsw/static/io.css14
2 files changed, 10 insertions, 4 deletions
diff --git a/nfsw/static/fonts/noto-mono.ttf b/nfsw/static/fonts/noto-mono.ttf
new file mode 100644
index 0000000..3560a3a
--- /dev/null
+++ b/nfsw/static/fonts/noto-mono.ttf
Binary files 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 {