2018-07-17 05:59:25 +02:00
|
|
|
@import "theme";
|
|
|
|
|
2016-10-17 10:24:39 +02:00
|
|
|
#terminal-container {
|
|
|
|
position: fixed;
|
|
|
|
margin-left: 10%;
|
2018-07-10 05:10:31 +02:00
|
|
|
height: 100%;
|
2016-10-17 10:24:39 +02:00
|
|
|
width: 99%;
|
2018-07-10 05:10:31 +02:00
|
|
|
overflow: auto;
|
|
|
|
overflow-y: scroll;
|
2016-10-17 10:24:39 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
#terminal {
|
|
|
|
padding-top: 10px;
|
|
|
|
padding-left: 10px;
|
|
|
|
height: auto;
|
2017-07-22 00:54:55 +02:00
|
|
|
width: 70%;
|
2018-07-17 05:59:25 +02:00
|
|
|
font-size: $defaultFontSize;
|
2018-07-10 05:10:31 +02:00
|
|
|
overflow: auto;
|
|
|
|
overflow-y: scroll;
|
2017-06-07 03:23:51 +02:00
|
|
|
background-color: var(--my-background-color);
|
2018-07-09 22:42:54 +02:00
|
|
|
table-layout: fixed;
|
2018-09-03 14:10:00 +02:00
|
|
|
|
|
|
|
.prompt {
|
|
|
|
color: var(--my-prompt-color);
|
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
|
|
|
}
|
2016-10-17 10:24:39 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
#terminal-input {
|
2017-06-07 03:23:51 +02:00
|
|
|
background-color: var(--my-background-color);
|
|
|
|
color: var(--my-font-color);
|
2016-10-17 10:24:39 +02:00
|
|
|
transition: height 1s;
|
|
|
|
}
|
|
|
|
|
|
|
|
.terminal-input {
|
2018-07-10 05:10:31 +02:00
|
|
|
display: inline-block;
|
|
|
|
padding: 0 !important;
|
|
|
|
margin: 0 !important;
|
|
|
|
border: 0;
|
|
|
|
background-color: var(--my-background-color);
|
2018-07-17 05:59:25 +02:00
|
|
|
font-size: $defaultFontSize;
|
2018-07-10 05:10:31 +02:00
|
|
|
outline: none;
|
2017-06-07 03:23:51 +02:00
|
|
|
color: var(--my-font-color);
|
2016-10-17 10:24:39 +02:00
|
|
|
}
|
|
|
|
|
2017-07-22 00:54:55 +02:00
|
|
|
.terminal-line {
|
|
|
|
width: 70%;
|
|
|
|
word-wrap: break-word;
|
2018-07-09 22:42:54 +02:00
|
|
|
hyphens: auto;
|
2017-07-22 00:54:55 +02:00
|
|
|
-webkit-hyphens: auto;
|
|
|
|
-moz-hyphens: auto;
|
|
|
|
}
|
2018-03-03 22:05:33 +01:00
|
|
|
|
|
|
|
#terminal-input-td {
|
|
|
|
display: flex;
|
|
|
|
}
|
|
|
|
|
2018-08-29 05:24:38 +02:00
|
|
|
#terminal-input-td textarea {
|
|
|
|
overflow: hidden;
|
2018-09-10 16:41:48 +02:00
|
|
|
resize: none;
|
|
|
|
height: auto;
|
2018-08-29 05:24:38 +02:00
|
|
|
}
|
|
|
|
|
2018-03-03 22:05:33 +01:00
|
|
|
#terminal-input-header {
|
|
|
|
white-space: pre;
|
|
|
|
}
|
|
|
|
|
|
|
|
#terminal-input-text-box {
|
2019-01-27 23:08:45 +01:00
|
|
|
margin-left: 2px;
|
2018-03-03 22:05:33 +01:00
|
|
|
flex: 1 1 auto;
|
|
|
|
}
|