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