-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathstyle.css
80 lines (68 loc) · 1.18 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
html,
body {
min-height: 100%;
margin: 0;
padding: 0;
overflow: hidden;
}
.wait {
cursor: wait;
}
#tpm-type {
grid-column: 1 / 3;
}
.container-fluid {
display: grid;
grid-template-columns: minmax(0, 1fr) minmax(0, 3fr);
grid-template-rows: 3em auto;
height: 100%;
column-gap: 1.5vh;
row-gap: 1.5vh;
padding: 1.5vh;
box-sizing: border-box;
}
.input-area {
grid-column: 1 / 2;
border-radius: var(--bs-border-radius);
height: 100%;
overflow: hidden;
}
.output-area {
grid-column: 2 / 3;
background-color: #f5f5f5;
}
#in {
font-family: monospace;
height: 100%;
box-sizing: border-box;
resize: none;
}
#out {
font-family: monospace;
width: 100%;
border: var(--bs-border-width) solid var(--bs-border-color);
border-radius: var(--bs-border-radius);
padding: 2vh;
box-sizing: border-box;
white-space: pre;
overflow: auto;
scroll-behavior: smooth;
}
.invalid {
color: red;
}
span.color-name {
color: green;
}
span.color-type {
color: blue;
}
span.color-value {
color: orange;
}
span.color-warning {
color: red;
}
span.color-indent {
color: gray;
}