-
Notifications
You must be signed in to change notification settings - Fork 1
/
befunger.css
113 lines (94 loc) · 1.63 KB
/
befunger.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
112
113
.container {
width: 80%;
margin: 0 auto;
}
textarea {
resize: none;
margin: 0 auto;
}
.content > div {
margin-top: .75em;
font-family: monospace;
justify-content: center;
align-items: center;
}
.text-center {
margin-left: auto;
margin-right: auto;
}
.toolbar {
display: flex;
flex-flow: row-reverse wrap;
/*width: 75%;*/
}
.button {
margin: 0 2px;
padding: .5em 1em;
border: 1px solid #222;
-webkit-user-select: none;
-moz-user-select: none;
-ms-user-select: none;
user-select: none;
cursor: pointer;
}
.success {
color: #113322;
background-color: #43dd55;
border-color: #2e9a3b;
}
.neutral {
color: #112233;
background-color: #4355ff;
border-color: #4355aa;
}
.danger {
color: #331122;
background-color: #dd1133;
border-color: #9a0b23;
}
.program-holder {
display: flex;
font-size: 13px;
}
.details {
min-height: 2em;
background: #dedede;
width: 75%;
margin: 0 auto;
}
.details > div {
background: #efefef;
color: #222222;
white-space: pre-wrap;
font-family: monospace;
}
.invisible {
display: none
}
.disabled {
background-color: grey !important;
pointer-events: none;
}
#interpreter {
background-color: #333;
color: #efefef;
margin: 0 auto;
white-space: pre-wrap;
padding: 2px;
}
#interpreter > .active-cell {
background-color: red;
color: #fff;
}
.header {
margin: 13px auto;
display: flex;
align-items: baseline;
justify-content: space-around;
}
.header > * {
margin: 0;
font-family: Verdana, sans-serif;
}
.header > h1 {
}