MIRROR: javascript for 🐜's, a tiny runtime with big ambitions
update crash ui
+19
-8
+15
-2
docs/reports/public/assets/report.css
+15
-2
docs/reports/public/assets/report.css
···
22
22
}
23
23
24
24
body {
25
-
margin: 7% auto 0;
26
-
max-width: 410px;
25
+
margin: 4% auto 0;
26
+
max-width: 420px;
27
27
min-height: 180px;
28
28
padding: 30px 0 15px;
29
29
}
···
35
35
p {
36
36
margin: 11px 0 22px;
37
37
overflow: hidden;
38
+
}
39
+
40
+
.addr {
41
+
font-family: 'Berkeley Mono';
42
+
letter-spacing: -0.03em;
43
+
}
44
+
45
+
.title {
46
+
margin-top: -2px;
47
+
font-style: italic;
48
+
font-size: 15px;
49
+
font-weight: 550;
50
+
letter-spacing: -0.02em;
38
51
}
39
52
40
53
ins {
+4
-6
docs/reports/src/view.tsx
+4
-6
docs/reports/src/view.tsx
···
161
161
}}
162
162
>
163
163
<Logo />
164
-
<p>
165
-
<b>{report.reason}.</b>{' '}
166
-
<ins>
167
-
{detail} at {report.addr}
168
-
</ins>
164
+
<p class="title">Ant crashed and sent a redacted report.</p>
165
+
<p style="margin-top:-3px">
166
+
{report.reason}.
169
167
<br />
170
-
<span>Ant crashed and sent a redacted report.</span>
168
+
{detail} at <span class="addr">{report.addr}</span>
171
169
</p>
172
170
173
171
<div class="meta">