diff options
Diffstat (limited to 'static/style/style.css')
| -rw-r--r-- | static/style/style.css | 106 |
1 files changed, 106 insertions, 0 deletions
diff --git a/static/style/style.css b/static/style/style.css new file mode 100644 index 0000000..e6a7e23 --- /dev/null +++ b/static/style/style.css @@ -0,0 +1,106 @@ +@font-face { + font-family: 'DepartureMono'; + font-style: normal; + font-weight: 400; + font-display: swap; + src: url(/font/DepartureMono-1.500/DepartureMono-Regular.woff2) format('woff2'); +} + +html { + height: 100%; + margin: 0; + padding: 0; + background-color: #121212; + color: #FFAA00; + text-shadow: 0 0 5px #FFAA00; + font-family: 'DepartureMono', monospace; + font-size: 22px; + font-smooth: never; +} + +body { + display: flex; + flex-direction: column; + height: 100%; + margin: 0; + padding: 0; +} + +input, +textarea, +button { + text-shadow: inherit; + font-size: inherit; + font-family: inherit; + background-color: inherit; + color: inherit; +} + +a { + color: inherit; + font-weight: bold; +} + +audio { + width: 100%; + padding: 0.5em; + box-sizing: border-box; + text-shadow: none; +} + +#stdout { + overflow: auto; + flex-grow: 1; + flex-shrink: 1; + padding: 0.5em; + + >div { + white-space: pre-wrap; + } + + .term-bold { + font-weight: bold; + } + + .term-centered { + text-align: center; + } + + button { + border: none; + margin: 0; + padding: 0; + text-decoration: 2px solid underline; + } +} + +#stdin-box { + flex-grow: 0; + flex-shrink: 0; + display: flex; + flex-direction: row; + align-items: center; +} + +#stdin { + flex-grow: 1; + border: none; + outline: none; + margin: 0.25em; +} + +#stdin-btn { + flex-grow: 0; + border: none; + margin: 0.25em; +} + +#stdin-box[data-offline] { + color: #805500; + text-shadow: 0 0 5px #805500; +} + +.history { + color: #805500; + text-shadow: 0 0 5px #805500; +}
\ No newline at end of file |