forked from angular/angular
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path_xterm.scss
123 lines (103 loc) · 2.42 KB
/
_xterm.scss
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
@mixin xterm() {
.xterm-viewport,
.xterm-screen {
&::-webkit-scrollbar-track {
background: rgba(0, 0, 0, 0);
cursor: pointer;
margin: 2px;
}
&::-webkit-scrollbar {
width: 6px;
height: 6px;
}
&::-webkit-scrollbar-thumb {
background-color: var(--senary-contrast);
border-radius: 10px;
transition: background-color 0.3s ease;
}
&::-webkit-scrollbar-thumb:hover {
background-color: var(--quaternary-contrast);
}
}
// Override terminal styles
.xterm {
height: 100%;
width: 100%;
padding: 10px;
}
.xterm-viewport {
overflow-y: auto !important;
height: 100% !important;
width: 100% !important;
background-color: var(--octonary-contrast) !important;
transition: background-color 0.3s ease;
}
.xterm-screen {
box-sizing: border-box;
overflow: visible !important;
height: 100% !important;
width: 100% !important;
}
.xterm-rows {
height: 100% !important;
overflow: visible !important;
color: var(--primary-contrast) !important;
transition: color 0.3s ease;
// It is important to not alter the font-size or the selection would lose in precision
.xterm-cursor {
&.xterm-cursor-outline {
outline-color: var(--primary-contrast) !important;
}
&.xterm-cursor-block {
background: var(--primary-contrast) !important;
}
}
}
.xterm-selection {
top: 10px !important;
left: 10px !important;
div {
background-color: transparent !important;
}
}
.xterm-decoration-top {
background-color: var(--quinary-contrast) !important;
}
.xterm-fg-11 {
color: var(--electric-violet) !important;
}
.xterm-fg-4 {
color: var(--bright-blue) !important;
}
// progress ###
.xterm-fg-15 {
color: var(--secondary-contrast) !important;
}
.xterm-fg-14 {
color: var(--vivid-pink) !important;
}
// > in terminal
.xterm-fg-5 {
color: var(--electric-violet) !important;
}
// error text, warning text
.xterm-fg-9,
.xterm-fg-3 {
color: var(--vivid-pink) !important;
}
.xterm-fg-10,
.xterm-fg-2 {
color: var(--symbolic-green) !important;
}
// error bg
.xterm-bg-1 {
background-color: var(--orange-red) !important;
}
// error text
.xterm-fg-257 {
color: var(--octonary-contrast) !important;
}
.xterm-fg-8 {
color: var(--tertiary-contrast) !important;
}
}