summaryrefslogtreecommitdiffstats
path: root/css
diff options
context:
space:
mode:
Diffstat (limited to 'css')
-rw-r--r--css/terminal-animation.css82
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;
+}