-
Notifications
You must be signed in to change notification settings - Fork 0
/
style.css
111 lines (97 loc) · 2.14 KB
/
style.css
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
body {
background-color: rgb(25,22,22);
font-size: 14px;
font-family: Consolas, monospace;
overflow-x: hidden;
}
textarea {
resize: none;
width: min(100% - 60px, 700px);
}
p {
position: absolute;
bottom: 10px;
right: calc(100% - min(100% - 30px, 730px));
color: rgb(42, 50, 63);
}
button {
background-color: rgba(0,0,0,0);
color: rgb(145, 208, 200);
border-color: rgb(70, 70, 70);
outline: none;
font-family: Consolas, monospace;
padding: 5px 10px;
text-align: center;
}
#buttonWrap {
position:absolute;
top: 30px;
right: calc(100% - min(100% - 30px, 730px));
}
#output {
background: none;
color: white;
position: absolute;
bottom: calc(25% + 40px);
left: 30px;
height: 65%;
width: min(100% - 60px, 700px);
overflow-x: hidden;
overflow-y: auto;
white-space: pre-wrap;
margin-right: -60px; /* Maximum width of scrollbar */
padding-right: 60px;
}
#consoleInp {
background-color: rgb(0, 0, 0);
color: rgb(201, 247, 213);
position: absolute;
bottom: 25%;
left: 30px;
height: 40px;
font-size: 14px;
caret-color: white;
border: none;
outline: none;
padding: 10px;
overflow: hidden;
}
#hh1 {
background-color: rgb(25,22,22);
position: absolute;
left: 0px;
width: 100%;
top: 0%;
height: 10%;
}
#hh2 {
background-image: linear-gradient(rgb(25,22,22), rgba(0,0,0,0));
position: absolute;
left: 0px;
width: 100%;
top: 10%;
height: 10%;
}
#hh3 {
background-image: linear-gradient(rgb(196, 196, 196),rgb(56, 56, 56));
position: absolute;
top: 0%;
height: 100%;
right: 0%;
width: calc(100% - min(100%, 770px));
}
a {
text-decoration: none;
}
/* unvisited link */
a:link {
color: rgb(62, 70, 83);
}
/* visited link */
a:visited {
color: rgb(62, 70, 83);
}
/* mouse over link */
a:hover {
color: rgb(145, 208, 200);;
}