-
Notifications
You must be signed in to change notification settings - Fork 1
/
feels.css
98 lines (81 loc) · 1.06 KB
/
feels.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
* {
box-sizing: border-box;
}
html, body {
height: 100%;
}
body {
margin: 0;
display: flex;
}
a {
color: #bbf;
}
#p5 {
width: 60%;
height: 100%;
}
#sidebar {
width: 40%;
height: 100%;
}
#repl {
height: 65%;
overflow-y: scroll;
padding: 1em;
background-color: black;
font-family: monospace;
font-size: 12pt;
color: white;
cursor: text;
}
#settings {
height: 35%;
padding: 1em;
background-color: #2a222d;
color: white;
font-size: 10pt;
}
#repl-form {
display: flex;
width: 100%;
}
#repl-form.inactive .prompt {
display: none;
}
#repl-input {
flex: 1;
border: none;
background: none;
-webkit-box-shadow: none;
-moz-box-shadow: none;
box-shadow: none;
outline: none;
padding: 0;
margin: 0;
font-family: inherit;
font-size: inherit;
color: inherit;
}
.line {
display: inline-block;
}
.prompt {
color: #999;
}
.result-prompt {
color: #6c6;
}
.code {
white-space: pre-wrap;
}
.result {
white-space: pre-wrap;
}
.error {
white-space: pre-wrap;
color: red;
}
.title {
font-weight: bold;
}