diff options
author | rsiddharth <s@ricketyspace.net> | 2019-10-26 10:38:22 -0400 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2019-10-26 10:38:22 -0400 |
commit | d33de8fd26f67c28e3cc68b6ddee77727eea645b (patch) | |
tree | 53e8f7f5033b40238a7e2784c589769fb0bfde5b /nfsw | |
parent | 17b715179dd0231d7ae874a0abefe554b67df64b (diff) |
nfsw: Use Noto Mono for /io.
Diffstat (limited to 'nfsw')
-rw-r--r-- | nfsw/static/fonts/noto-mono.ttf | bin | 0 -> 107848 bytes | |||
-rw-r--r-- | nfsw/static/io.css | 14 |
2 files changed, 10 insertions, 4 deletions
diff --git a/nfsw/static/fonts/noto-mono.ttf b/nfsw/static/fonts/noto-mono.ttf Binary files differnew file mode 100644 index 0000000..3560a3a --- /dev/null +++ b/nfsw/static/fonts/noto-mono.ttf 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 { |