diff options
author | rsiddharth <s@ricketyspace.net> | 2019-10-26 13:34:29 -0400 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2019-10-26 13:34:29 -0400 |
commit | 6fef8e07e347e58e49ec70fe7e14f77238e65c87 (patch) | |
tree | 17a7e421e06f575accdab827d166b53d2dfff7df | |
parent | b3e44c13e2931b4aea2d88b50b324fa1b6d54f32 (diff) |
Update nfsw/static/io.css
-rw-r--r-- | nfsw/static/io.css | 67 |
1 files changed, 36 insertions, 31 deletions
diff --git a/nfsw/static/io.css b/nfsw/static/io.css index de74830..774adb9 100644 --- a/nfsw/static/io.css +++ b/nfsw/static/io.css @@ -5,66 +5,71 @@ body { font-family: noto-mono; - font-size: 0.88em; overflow: hidden; margin: 0 0 0 0; + background-color: rgb(0, 0, 0); + color: rgb(250, 250, 250); } -.io-block { - height:98vh; - display:flex; - flex-direction: column; - align-items: stretch; - justify-content: center; +.io-block { + position: static; } .console { + position: relative; + max-height: 91vh; overflow-y: auto; - 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; } +.console pre.concierge, +.console pre.blank, .console pre.error { + font-family: noto-mono; margin: 0 0 0 0; - border-left: 2px solid rgb(240,180,180); - padding-left: 5px; -} - -.console pre.blank { - margin: 0 0 0 0; - border-left: 2px solid rgb(255,255,255); - padding-left: 5px; + padding-left: 10px; } .prompt { - flex: 1 0 auto; + position: fixed; + bottom: 5px; + left: auto; + right: auto; + width: 100vw; } .prompt form { display:flex; flex-direction: row; justify-content: center; - height: 98%; } .prompt input { - width: 95%; - height: 98%; + width: 93vw; font-size: 1.2em; - padding-left: 5px; - border: 2px solid rgb(230,230,230); + padding: 9px; + border: 2px solid rgb(60, 60, 60); font-family: noto-mono; + background-color: rgb(50, 50, 50); + color: rgb(250, 250, 250); } .prompt input:focus { outline-width: 0px; } + +@media (min-width: 100px) and (max-width: 650px) { + body { + font-size: 0.88em; + } + + .console { + max-height: 85vh; + } +} + +@media (min-height: 100px) and (max-height: 400px) { + .console { + max-height: 60vh; + } +} |