diff options
Diffstat (limited to 'css')
-rw-r--r-- | css/terminal-animation.css | 82 |
1 files changed, 82 insertions, 0 deletions
diff --git a/css/terminal-animation.css b/css/terminal-animation.css new file mode 100644 index 0000000..3db81db --- /dev/null +++ b/css/terminal-animation.css @@ -0,0 +1,82 @@ +.terminal-animation { + position: relative; + width: 700px; + min-height: 300px; + margin: 1em 0px; + + font-family: courier, fixed; + font-size: 13px; + white-space: pre-wrap; + + border: 1px solid gray; + border-radius: 8px; + -webkit-box-sizing: border-box; + -moz-box-sizing: border-box; + box-sizing: border-box; + + background: black; + color: lightgray; +} + +.terminal-animation-console { + position: absolute; + top: 0px; + left: 0px; + right: 0px; + bottom: 40px; + + padding: 5px; + overflow: auto; +} + +.terminal-animation-content { +} + +.terminal-animation-caret { + background: lightgray; +} + +.terminal-animation-control { + position: absolute; + left: 0px; + right: 0px; + bottom: 0px; + height: 30px; + + padding: 5px; + background: gray; + color: black; +} + +.terminal-animation-button { + margin: 1px 2px; + padding: 5px 10px; + vertical-align: bottom; + + border: 1px solid white; + border-radius: 5px; + -webkit-box-sizing: border-box; + -moz-box-sizing: border-box; + box-sizing: border-box; + + background: dimgray; + color: white; +} + +.terminal-animation-button:hover { + background: lightgray; + color: black; +} + +.terminal-animation-input { + font-weight: bold; + color: white; +} + +.terminal-animation-input:hover { + background: #303233; +} + +.terminal-animation-output:hover { + background: #303233; +} |