blob: 2c9e6a13d1133a3244181db14f3e27ef9d31ff34 (
plain)
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
|
html {
font-family: Inconsolata, Courier;
background-color: #f0f0f0;
}
div#minilang {
height: 85vh;
overflow-y: auto;
}
div.edit {
width: 50vw;
height: 90vh;
float: left;
}
textarea#program {
width: 100%;
height: 90%;
padding: 1em;
font-family: Inconsolata, Courier;
background-color: black;
color: white;
font-size: 12pt;
resize: none;
white-space: pre;
spellcheck: false;
autocomplete: off;
autocapitalize: none;
wrap: off;
}
div#repl {
width: 45vw;
float: right;
}
div.output {
width: 90%;
white-space: pre-wrap;
padding: 0em 1em 0 1em;
}
div.command {
height: 2em;
}
.command input {
display: inline-block;
vertical-align: middle;
font-family: Inconsolata;
font-size: 12pt;
border: none;
width: 80%;
margin: 0em 1em 0em 1em;
}
.connected {
background-color: #aaf;
}
.disconnected {
background-color: #faa;
}
.command img {
display: inline-block;
vertical-align: middle;
height: 2em;
}
button#send {
background-color: rgb(125, 207, 161);
border-radius: 5px;
font-size: 1em;
font-weight: bold;
padding: 5px 10px 5px 10px;
}
h1 {
text-align: center;
}
div.choice {
display: flex;
align-items: center;
justify-content: center;
flex: wrap;
}
div.choice a {
display: inline-block;
height: 100px;
line-height: 100px;
text-align: center;
font-size: 2em;
text-decoration: none;
background-color: lightblue;
color: black;
margin: 1em;
border-radius: 10px;
flex: 2 1 250px;;
}
|
