-
Notifications
You must be signed in to change notification settings - Fork 7
/
index.html
78 lines (69 loc) · 1.62 KB
/
index.html
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
<!DOCTYPE html>
<html lang="en" dir="ltr">
<head>
<meta charset="utf-8">
<style>
div.repl-tooling.result div.error {
color: @text-color-error;
}
div.repl-tooling.result div.rows {
display: flex;
flex-direction: column;
}
div.repl-tooling.result div.cols {
display: flex;
flex-direction: row;
}
div.repl-tooling.result div.block {
display: block;
}
div.repl-tooling.result div.title {
font-weight: 800;
}
div.repl-tooling.result div.pre {
white-space: pre-wrap;
}
div.repl-tooling.result div.space {
opacity: 0.1;
margin: 0.6em;
}
a.icon.clipboard::after {
content: "copy"
}
a.chevron.closed::after {
content: ">"
}
a.chevron.opened::after {
content: "v"
}
div.result div {
display: flex;
flex-direction: row;
}
div.result .whitespace {
width: 10px;
}
div.result div.browseable {
flex-direction: column;
}
div.result div.row {
flex-direction: column;
}
div.result div .children {
flex-direction: column;
padding-left: 1em;
}
.com-rigsomelight-devcards-test-line {
white-space: pre !important;
font-family: monospace !important;
font-size: 12pt !important;
}
.com-rigsomelight-devcards-test-message {
white-space: pre;
}
</style>
</head>
<body>
<script src="target/integration/main.js" type="text/javascript"></script>
</body>
</html>